Incollection,
Fun with Type Functions.
O. Kiselyov, S. Jones, and C. chieh Shan.Reflections on the Work of C. A. R. Hoare, Springer, (2010)
Meta data
- BibTeX key
- books/daglib/p/KiselyovJS10
- entry type
- incollection
- booktitle
- Reflections on the Work of C. A. R. Hoare
- year
- 2010
- pages
- 301-331
- publisher
- Springer
- crossref
- books/daglib/0025134
- ee
- https://doi.org/10.1007/978-1-84882-912-1_14
- isbn
- 978-1-84882-911-4
- url
- http://dblp.uni-trier.de/db/books/collections/RJW2010.html#KiselyovJS10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Book Section
%1 books/daglib/p/KiselyovJS10
%A Kiselyov, Oleg
%A Jones, Simon Peyton
%A chieh Shan, Chung
%B Reflections on the Work of C. A. R. Hoare
%D 2010
%E Roscoe, A. W.
%E Jones, Clifford B.
%E Wood, Kenneth R.
%I Springer
%K dblp
%P 301-331
%T Fun with Type Functions.
%U http://dblp.uni-trier.de/db/books/collections/RJW2010.html#KiselyovJS10
%@ 978-1-84882-911-4
@incollection{books/daglib/p/KiselyovJS10,
added-at = {2017-05-16T00:00:00.000+0200},
author = {Kiselyov, Oleg and Jones, Simon Peyton and chieh Shan, Chung},
biburl = {https://www.bibsonomy.org/bibtex/2317513ef4209123fae115c997283f3c6/dblp},
booktitle = {Reflections on the Work of C. A. R. Hoare},
crossref = {books/daglib/0025134},
editor = {Roscoe, A. W. and Jones, Clifford B. and Wood, Kenneth R.},
ee = {https://doi.org/10.1007/978-1-84882-912-1_14},
interhash = {18028a83280045713c9b9ddf3f2cb6de},
intrahash = {317513ef4209123fae115c997283f3c6},
isbn = {978-1-84882-911-4},
keywords = {dblp},
pages = {301-331},
publisher = {Springer},
timestamp = {2020-05-19T12:32:17.000+0200},
title = {Fun with Type Functions.},
url = {http://dblp.uni-trier.de/db/books/collections/RJW2010.html#KiselyovJS10},
year = 2010
}