Inproceedings,
A step-indexed model of substructural state.
A. Ahmed, M. Fluet, and G. Morrisett.ICFP, page 78-91. ACM, (2005)
Meta data
- BibTeX key
- conf/icfp/AhmedFM05
- entry type
- inproceedings
- booktitle
- ICFP
- year
- 2005
- pages
- 78-91
- publisher
- ACM
- crossref
- conf/icfp/2005
- ee
- https://www.wikidata.org/entity/Q60142694
- isbn
- 1-59593-064-7
- url
- http://dblp.uni-trier.de/db/conf/icfp/icfp2005.html#AhmedFM05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icfp/AhmedFM05
%A Ahmed, Amal J.
%A Fluet, Matthew
%A Morrisett, Greg
%B ICFP
%D 2005
%E Danvy, Olivier
%E Pierce, Benjamin C.
%I ACM
%K dblp
%P 78-91
%T A step-indexed model of substructural state.
%U http://dblp.uni-trier.de/db/conf/icfp/icfp2005.html#AhmedFM05
%@ 1-59593-064-7
@inproceedings{conf/icfp/AhmedFM05,
added-at = {2022-07-05T00:00:00.000+0200},
author = {Ahmed, Amal J. and Fluet, Matthew and Morrisett, Greg},
biburl = {https://www.bibsonomy.org/bibtex/2d889eab8a48a4a349784e9c15db4b71a/dblp},
booktitle = {ICFP},
crossref = {conf/icfp/2005},
editor = {Danvy, Olivier and Pierce, Benjamin C.},
ee = {https://www.wikidata.org/entity/Q60142694},
interhash = {f893a256221e0f4ec65b69b956f98fdd},
intrahash = {d889eab8a48a4a349784e9c15db4b71a},
isbn = {1-59593-064-7},
keywords = {dblp},
pages = {78-91},
publisher = {ACM},
timestamp = {2024-04-09T17:30:31.000+0200},
title = {A step-indexed model of substructural state.},
url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2005.html#AhmedFM05},
year = 2005
}