Subtyping recursion and parametric polymorphism in kernel fun

Dario Colazzo, Giorgio Ghelli. Subtyping recursion and parametric polymorphism in kernel fun. Inf. Comput., 198(2):71-147, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.