The Functional Approach to Programming

DOI10.1017/CBO9781139173018zbMath0951.68016OpenAlexW1602419232MaRDI QIDQ4941500

Guy Cousineau, Michel Mauny

Publication date: 12 March 2000

Full work available at URL: https://doi.org/10.1017/cbo9781139173018

zbMATH Keywords

applicationsdata structurescompilationfunctional programmingprogram semanticstype synthesis

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (4)

Performance comparison of Maple and Mathematica ⋮ Abstract machines, optimal reduction, and streams ⋮ Topological rewriting and the geometrization of programming ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\)

Uses Software

• Caml

This page was built for publication: The Functional Approach to Programming