Testing noninterference, quickly
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
Testing noninterference, quickly
ICFP, 2013.

ICFP 2013
Full names Links ISxN
	author        = "Catalin Hritcu and John Hughes and Benjamin C. Pierce and Antal Spector-Zabusky and Dimitrios Vytiniotis and Arthur Azevedo de Amorim and Leonidas Lampropoulos",
	booktitle     = "{Proceedings of the 18th International Conference on Functional Programming}",
	doi           = "10.1145/2500365.2500574",
	editor        = "Greg Morrisett and Tarmo Uustalu",
	isbn          = "978-1-4503-2326-0",
	pages         = "455--468",
	publisher     = "{ACM}",
	title         = "{Testing noninterference, quickly}",
	year          = 2013,


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.