POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Complexity of kernel Fun subtype checking
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Information and Computation - FOOL V
Typed operational semantics for higher-order subtyping
Information and Computation
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Higher-order subtyping and its decidability
Information and Computation
Syntactic Metatheory of Higher-Order Subtyping
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Hi-index | 0.00 |