POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bounded quantification is undecidable
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal parametric polymorphism
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented programming without recursive types
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Foundations for the implementation of higher-order subtyping
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
A simple proof technique for certain parametricity results
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Polymorphic lambda calculus and subtyping
Theoretical Computer Science
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
Safe manual memory management in cyclone
Science of Computer Programming - Special issue on five perspectives on modern memory management: Systems, hardware and theory
Free Theorems and Runtime Type Representations
Electronic Notes in Theoretical Computer Science (ENTCS)
It Is Time to Mechanize Programming Language Metatheory
Verified Software: Theories, Tools, Experiments
Parametric And Type-Dependent Polymorphism
Fundamenta Informaticae
| Hi-index | 0.00 |