Functional semantics

DOI10.1007/978-3-642-40355-2_6MaRDI QIDQ5410451zbMATH OpenOpenAlexFDO

Authors Pieter Koopman

Publication date 16 April 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40355-2_6

Mathematics Subject Classification ID

Data structures (68P05) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Interpreters from functions and grammars
• Functional programs as executable specifications
• Modularity and implementation of mathematical operational semantics
• scientific article; zbMATH DE number 4123320
• A structural approach to operational semantics

Cites work

• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• A new implementation technique for applicative languages
• Data types à la carte
• Definitional interpreters for higher-order programming languages
• Extensible algebraic datatypes with defaults
• Extensible pattern matching via a lightweight language extension
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Foundations for structured programming with GADTs
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The next 700 programming languages

Cited in

(6)

• Semantics of untyped functional programs
• scientific article; zbMATH DE number 3942991 (Why is no real title available?)
• Interpreters from functions and grammars
• scientific article; zbMATH DE number 1231480 (Why is no real title available?)
• scientific article; zbMATH DE number 1927416 (Why is no real title available?)
• Denotational semantics of a para-functional programming language

Describes a project that uses

Uses Software

• iTasks
• Miranda
• CLEAN

This page was built for publication: Functional semantics

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