Kahn networks at the dawn of functional programming

MaRDI QIDQ3400626zbMATH OpenFDO

Authors David MacQueen

Publication date 5 February 2010

zbMATH Keywords

data typeslazy functional languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A constructive denotational semantics for Kahn networks in Coq
• Synchronous Kahn networks
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• Compiling process networks to interaction nets
• A generalized Kahn Principle for abstract asynchronous networks

Cited in

(2)

• From Centaur to the Meta-Environment: a tribute to a great meta-technologist
• A constructive denotational semantics for Kahn networks in Coq

Describes a project that uses

Uses Software

• Miranda
• LUSTRE

This page was built for publication: Kahn networks at the dawn of functional programming

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