[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, JustinYear:
2014
Language:
english
DOI:
10.1145/2746325.2746335
File:
PDF, 357 KB
english, 2014