[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 9160 || Parametric Polymorphism — Universally
de Paiva, Valeria, de Queiroz, Ruy, Moss, Lawrence S., Leivant, Daniel, de Oliveira, Anjolina G.Volume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-662-47709-0_7
File:
PDF, 333 KB
english, 2015