Programming Languages and Systems
From MaRDI portal
Publication:5464049
DOI10.1007/b102225zbMath1116.68490OpenAlexW2796564118MaRDI QIDQ5464049
Neil Ghani, Varmo Vene, Tarmo Uustalu
Publication date: 17 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b102225
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
A principled approach to programming with nested types in Haskell ⋮ Unnamed Item ⋮ The Recursion Scheme from the Cofree Recursive Comonad
This page was built for publication: Programming Languages and Systems