Type-Safe Update Programming

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-36575-3_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Thread-Safe Reactive Programming

Proceedings of the ACM on Programming Languages
2018English

SAFE: A Programming Language for Software Quality

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1995English

Parallel Operation of Self-Limited Analog Programming for Fast Array-Level Weight Programming and Update

Advanced Intelligent Systems
2020English

Simplified Programming of Re-Usable Skills on a Safe Industrial Robot

2017English

Higher-Order Type-Level Programming in Haskell

Proceedings of the ACM on Programming Languages
2019English

Helly-Type Theorems and Generalized Linear Programming

Discrete and Computational Geometry
CombinatoricsMathematicsGeometryDiscrete MathematicsComputational TheoryTopologyTheoretical Computer Science
1994English

Database States in Lazy Functional Programming Languages: Imperative Update and Lazy Retrieval

1995English

Runtime Support for Type-Safe Dynamic Java Classes

2000English

A Polynomial Projection-Type Algorithm for Linear Programming

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy