Refinement types for Haskell
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones
Refinement types for Haskell
ICFP, 2014.

ICFP 2014
Full names Links ISxN
	author        = "Niki Vazou and Eric L. Seidel and Ranjit Jhala and Dimitrios Vytiniotis and Simon L. Peyton Jones",
	booktitle     = "{Proceedings of the 19th International Conference on Functional Programming}",
	doi           = "10.1145/2628136.2628161",
	editor        = "Johan Jeuring and Manuel M. T. Chakravarty",
	isbn          = "978-1-4503-2873-9",
	pages         = "269--282",
	publisher     = "{ACM}",
	title         = "{Refinement types for Haskell}",
	year          = 2014,


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.