scientific article; zbMATH DE number 1538025

MaRDI QIDQ4518880zbMATH OpenFDO

Authors Martin Hofmann

Publication date 5 February 2001

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• A type system for bounded space and functional in-place update
• scientific article; zbMATH DE number 2061711
• scientific article; zbMATH DE number 2087536
• Recursion and dynamic data-structures in bounded space: towards embedded ML programming
• A type system with usage aspects

Cited in

(14)

• Linear types and non-size-increasing polynomial time computation.
• Distributed call-tracking for security
• A type system for bounded space and functional in-place update
• Recursion and dynamic data-structures in bounded space: towards embedded ML programming
• A type theory for memory allocation and data layout
• Functional programming in sublinear space
• scientific article; zbMATH DE number 1088047 (Why is no real title available?)
• scientific article; zbMATH DE number 2003157 (Why is no real title available?)
• scientific article; zbMATH DE number 1746461 (Why is no real title available?)
• scientific article; zbMATH DE number 2087536 (Why is no real title available?)
• In-place graph rewriting with interaction nets
• Cogent: uniqueness types and certifying compilation
• Quasi-interpretations. A way to control resources
• A type system with usage aspects

Describes a project that uses

Uses Software

• OCaml

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518880)