Global abstraction-safe marshalling with hash types
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Global abstraction-safe marshalling with hash types
ICFP, 2003.

ICFP 2003
Full names Links ISxN
	author        = "James J. Leifer and Gilles Peskine and Peter Sewell and Keith Wansbrough",
	booktitle     = "{Proceedings of the Eighth International Conference on Functional Programming}",
	doi           = "10.1145/944705.944714",
	editor        = "Colin Runciman and Olin Shivers",
	isbn          = "1-58113-756-7",
	pages         = "87--98",
	publisher     = "{ACM}",
	title         = "{Global abstraction-safe marshalling with hash types}",
	year          = 2003,

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.