Modelling Unique and Affine Typing Using Polymorphism

Edsko de Vries. Modelling Unique and Affine Typing Using Polymorphism. In Peter Achten, Pieter W. M. Koopman, editors, The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Volume 8106 of Lecture Notes in Computer Science, pages 181-192, Springer, 2013. [doi]

Abstract

Abstract is missing.