scientific article; zbMATH DE number 1538025

zbMath0964.68027MaRDI QIDQ4518880

Martin Hofmann

Publication date: 5 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Linear types and non-size-increasing polynomial time computation., Unnamed Item, Quasi-interpretations. A way to control resources, Cogent: uniqueness types and certifying compilation, Distributed call-tracking for security

Uses Software

• OCaml