@inproceedings{Haskell-2016-LindleyM,
	author        = "Sam Lindley and J. Garrett Morris",
	booktitle     = "{Proceedings of the Ninth International Symposium on Haskell}",
	doi           = "10.1145/2976002.2976018",
	isbn          = "978-1-4503-4434-0",
	pages         = "133--145",
	publisher     = "{ACM}",
	title         = "{Embedding session types in Haskell}",
	year          = 2016,
}