Browse by ISBN
Number of items: 1.
Ghani, Neil and Nordvall Forsberg, Fredrik and Simpson, Alex; Jacobs, Bart and Löding, Christof, eds. (2016) Comprehensive parametric polymorphism : categorical models and type theory. In: International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]. Lecture Notes in Computer Science, 9634 . Springer-Verlag, Berlin, pp. 3-19. ISBN 9783662496305