[ACM Press the 26nd 2014 International Symposium - Boston,...

  • Main
  • [ACM Press the 26nd 2014 International...

[ACM Press the 26nd 2014 International Symposium - Boston, MA, USA (2014.10.01-2014.10.03)] Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 - Really Natural Linear Indexed Type Checking

de Amorim, Arthur Azevedo, Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2014
Language:
english
DOI:
10.1145/2746325.2746335
File:
PDF, 357 KB
english, 2014
Conversion to is in progress
Conversion to is failed