Typed closure conversion preserves observational equivalence
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Amal Ahmed, Matthias Blume
Typed closure conversion preserves observational equivalence
ICFP, 2008.

ICFP 2008
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICFP-2008-AhmedB,
	author        = "Amal Ahmed and Matthias Blume",
	booktitle     = "{Proceedings of the 13th International Conference on Functional Programming}",
	doi           = "10.1145/1411204.1411227",
	editor        = "James Hook and Peter Thiemann",
	isbn          = "978-1-59593-919-7",
	pages         = "157--168",
	publisher     = "{ACM}",
	title         = "{Typed closure conversion preserves observational equivalence}",
	year          = 2008,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.