Abstract types have existential type
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bounded quantifiers have interval models
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Toward a typed foundation for method specialization and inheritance
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order modules and the phase distinction
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
F-bounded polymorphism for object-oriented programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
PER models of subtyping, recursive types and higher-order polymorphism
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the type structure of standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Class-is-type is inadequate for object reuse
ACM SIGPLAN Notices
Polymorphic lambda calculus and subtyping
Theoretical Computer Science
A full continuous model of polymorphism
Theoretical Computer Science
A domain-theoretic semantics of lax generic functions
Theoretical Computer Science - Category theory and computer science
βη-complete models for System F
Mathematical Structures in Computer Science
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Second-order pre-logical relations and representation independence
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
A new model construction for the polymorphic lambda calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Monad transformers as monoid transformers
Theoretical Computer Science
| Hi-index | 0.00 |