Programming Languages and Systems
From MaRDI portal
Publication:5899022
DOI10.1007/11693024zbMath1178.68123MaRDI 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
Related Items
Semantic Foundations for Deterministic Dataflow and Stream Processing, Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change, A multi-tier semantics for Hop
Uses Software