Really Natural Linear Indexed Type Checking
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu
Really Natural Linear Indexed Type Checking
IFL, 2014.

IFL 2014
Full names Links ISxN
	author        = "Arthur Azevedo de Amorim and Marco Gaboardi and Emilio Jesús Gallego Arias and Justin Hsu",
	booktitle     = "{Proceedings of the 26th International Symposium on Implementation and Application of Functional Languages}",
	doi           = "10.1145/2746325.2746335",
	isbn          = "978-1-4503-3284-2",
	pages         = "5",
	publisher     = "{ACM}",
	title         = "{Really Natural Linear Indexed Type Checking}",
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.