The Functional Approach to Programming

DOI10.1017/CBO9781139173018MaRDI QIDQ4941500zbMATH OpenOpenAlexFDO

Authors Guy Cousineau, Michel Mauny

Publication date 12 March 2000

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

zbMATH Keywords

applicationscompilationdata structuresfunctional programmingprogram semanticstype synthesis

Mathematics Subject Classification ID

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

Cited in

(20)

• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Performance comparison of Maple and Mathematica
• Functional programming applied to scientific calculus. I: Numerical methods and applications
• Funktionale und Applikative Programmierung
• scientific article; zbMATH DE number 4054988 (Why is no real title available?)
• scientific article; zbMATH DE number 1376149 (Why is no real title available?)
• scientific article; zbMATH DE number 49256 (Why is no real title available?)
• scientific article; zbMATH DE number 49798 (Why is no real title available?)
• scientific article; zbMATH DE number 53817 (Why is no real title available?)
• scientific article; zbMATH DE number 108367 (Why is no real title available?)
• scientific article; zbMATH DE number 1090656 (Why is no real title available?)
• scientific article; zbMATH DE number 194511 (Why is no real title available?)
• scientific article; zbMATH DE number 1923041 (Why is no real title available?)
• scientific article; zbMATH DE number 2090729 (Why is no real title available?)
• The Functional “C” experience
• Functional PearlDeduction for functional programmers
• Abstract machines, optimal reduction, and streams
• Functional programs that explain their work
• Functional differentiation of computer programs
• Topological rewriting and the geometrization of programming

Describes a project that uses

Uses Software

• Caml

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

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