On the type structure of standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Putting type annotations to work
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Algebraic Characterization of Typability in ML with Subtyping
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
System F with type equality coercions
TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Products and Polymorphic Subtypes
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Parametric And Type-Dependent Polymorphism
Fundamenta Informaticae
Hi-index | 0.00 |