![](/img/cover-not-exists.png)
Subtyping recursion and parametric polymorphism in kernel fun
Dario Colazzo, Giorgio GhelliVolume:
198
Year:
2005
Language:
english
Pages:
77
DOI:
10.1016/j.ic.2004.11.003
File:
PDF, 588 KB
english, 2005