Programming with variable functions

DOI10.1145/289423.289433MaRDI QIDQ5348891zbMATH OpenOpenAlexFDO

Authors Martin Odersky

Publication date 21 August 2017

Published in Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/289423.289433

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Programming with variable functions
• Functional programs as executable specifications
• Program specification by typed Gurevich machines
• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 512959

Cited in

(2)

• Programming with variable functions
• Axioms for strict and lazy functional programs

This page was built for publication: Programming with variable functions

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