When is a functional program not a functional program?

DOI10.1145/317636.317775MaRDI QIDQ2817707zbMATH OpenOpenAlexFDO

Authors John Longley

Publication date 1 September 2016

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• What is a purely functional language?
• What's in a function?
• Functional programs as executable specifications
• Functional programs that explain their work
• What is a pure functional?
• When is a function a fold or an unfold?
• scientific article; zbMATH DE number 1808202

Cited in

(13)

• scientific article; zbMATH DE number 2185706 (Why is no real title available?)
• Continuity of Gödel's system T definable functionals via effectful forcing
• Exercising Nuprl's open-endedness
• \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
• What is a pure functional?
• The sequentially realizable functionals
• Nixos: a purely functional Linux distribution
• A stable programming language
• Functional programming with the FC++ library
• Validating Brouwer's continuity principle for numbers using named exceptions
• Compositional references for stateful functional programming
• On the computational complexity of Longley's \(H\) functional
• Higher order functions and Brouwer's thesis

This page was built for publication: When is a functional program not a functional program?

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