Constructive Foundations for Featherweight Java
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
A computationally adequate model for overloading via domain-valued functors
Mathematical Structures in Computer Science
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Journal of the ACM (JACM)
Parametric And Type-Dependent Polymorphism
Fundamenta Informaticae
Hi-index | 0.00 |