When is a functional program not a functional program?

DOI10.1145/317636.317775zbMath1345.68064OpenAlexW2005968294MaRDI QIDQ2817707

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)

Related Items

Continuity of Gödel's system T definable functionals via effectful forcing, Validating Brouwer's continuity principle for numbers using named exceptions, A stable programming language, Exercising Nuprl’s Open-Endedness, On the computational complexity of Longley's \(H\) functional, The sequentially realizable functionals, Higher order functions and Brouwer’s thesis