Really Natural Linear Indexed Type Checking

de Amorim, Arthur Azevedo; Gaboardi, Marco; Gallego Arias, Emilio Jesús; Hsu, Justin

doi:10.1145/2746325.2746335

Really Natural Linear Indexed Type Checking

de Amorim, Arthur Azevedo, Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin·2014·Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages

DOI 10.1145/2746325.2746335