Inproceedings,
Embedding session types in Haskell.
S. Lindley, and J. Morris.Haskell, page 133-145. ACM, (2016)
Meta data
- BibTeX key
- conf/haskell/LindleyM16
- entry type
- inproceedings
- booktitle
- Haskell
- year
- 2016
- pages
- 133-145
- publisher
- ACM
- crossref
- conf/haskell/2016
- ee
- https://doi.org/10.1145/2976002.2976018
- isbn
- 978-1-4503-4434-0
- url
- http://dblp.uni-trier.de/db/conf/haskell/haskell2016.html#LindleyM16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/haskell/LindleyM16
%A Lindley, Sam
%A Morris, J. Garrett
%B Haskell
%D 2016
%E Mainland, Geoffrey
%I ACM
%K
%P 133-145
%T Embedding session types in Haskell.
%U http://dblp.uni-trier.de/db/conf/haskell/haskell2016.html#LindleyM16
%@ 978-1-4503-4434-0
@inproceedings{conf/haskell/LindleyM16,
added-at = {2023-12-13T01:16:51.000+0100},
author = {Lindley, Sam and Morris, J. Garrett},
biburl = {https://www.bibsonomy.org/bibtex/25a4d5a5334ff8b9109a981d8a81561df/admin},
booktitle = {Haskell},
crossref = {conf/haskell/2016},
editor = {Mainland, Geoffrey},
ee = {https://doi.org/10.1145/2976002.2976018},
interhash = {6f4aa501227150177051945eecbfb408},
intrahash = {5a4d5a5334ff8b9109a981d8a81561df},
isbn = {978-1-4503-4434-0},
keywords = {},
pages = {133-145},
publisher = {ACM},
timestamp = {2023-12-13T01:16:51.000+0100},
title = {Embedding session types in Haskell.},
url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2016.html#LindleyM16},
year = 2016
}