Programming Languages and Systems
From MaRDI portal
Publication:5899005
DOI10.1007/11693024zbMath1178.68151OpenAlexW2491912653MaRDI QIDQ5899005
Matthew T. Fluet, Greg Morrisett, Amal Ahmed
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
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Kleene Monads: Handling Iteration in a Framework of Generic Effects ⋮ A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation ⋮ LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Session types without sophistry. System description ⋮ Typing Safe Deallocation
This page was built for publication: Programming Languages and Systems
