Programming Languages and Systems

DOI10.1007/11693024zbMath1178.68123OpenAlexW2491912653MaRDI QIDQ5899022

Gregory H. Cooper, Shriram Krishnamurthi

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11693024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (3)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ A multi-tier semantics for Hop ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: Programming Languages and Systems