Inproceedings,
Really Natural Linear Indexed Type Checking.
A. de Amorim, M. Gaboardi, E. Arias, and J. Hsu.IFL, page 5:1-5:12. ACM, (2014)
Meta data
- BibTeX key
- conf/ifl/AmorimGAH14
- entry type
- inproceedings
- booktitle
- IFL
- year
- 2014
- pages
- 5:1-5:12
- publisher
- ACM
- crossref
- conf/ifl/2014
- ee
- https://doi.org/10.1145/2746325.2746335
- isbn
- 978-1-4503-3284-2
- url
- http://dblp.uni-trier.de/db/conf/ifl/ifl2014.html#AmorimGAH14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ifl/AmorimGAH14
%A de Amorim, Arthur Azevedo
%A Gaboardi, Marco
%A Arias, Emilio Jesús Gallego
%A Hsu, Justin
%B IFL
%D 2014
%E Tobin-Hochstadt, Sam
%I ACM
%K
%P 5:1-5:12
%T Really Natural Linear Indexed Type Checking.
%U http://dblp.uni-trier.de/db/conf/ifl/ifl2014.html#AmorimGAH14
%@ 978-1-4503-3284-2
@inproceedings{conf/ifl/AmorimGAH14,
added-at = {2023-12-13T01:51:57.000+0100},
author = {de Amorim, Arthur Azevedo and Gaboardi, Marco and Arias, Emilio Jesús Gallego and Hsu, Justin},
biburl = {https://www.bibsonomy.org/bibtex/23d2a1f51b30e9ee780df233f9a9c5619/admin},
booktitle = {IFL},
crossref = {conf/ifl/2014},
editor = {Tobin-Hochstadt, Sam},
ee = {https://doi.org/10.1145/2746325.2746335},
interhash = {778bcd0cb1c3abd2eae75defa5b23254},
intrahash = {3d2a1f51b30e9ee780df233f9a9c5619},
isbn = {978-1-4503-3284-2},
keywords = {},
pages = {5:1-5:12},
publisher = {ACM},
timestamp = {2023-12-13T01:51:57.000+0100},
title = {Really Natural Linear Indexed Type Checking.},
url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2014.html#AmorimGAH14},
year = 2014
}