Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27--28, 2006. Proceedings.

DOI10.1007/11693024zbMath1103.68010OpenAlexW2491912653MaRDI QIDQ855057

No author found.

Publication date: 22 December 2006

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

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Related Items (2)

A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Correctness of compiling polymorphism to dynamic typing

Uses Software

• Haskell

This page was built for publication: Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27--28, 2006. Proceedings.