Typing and computational properties of lambda expressions
Theoretical Computer Science
Proceedings of the Fourth Annual Symposium on Logic in computer science
A characterization of lambda definable tree operations
Information and Computation
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
An Extended Polymorphic Type System for Applicative Languages
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
Stratified functional programs and computational complexity
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coercion as homomorphism: type inference in a system with subtyping and overloading
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Infinite Intersection and Union Types for the Lazy Lambda Calculus
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Information and Computation - TACS 2001
Introduction to Special Issue: Intersection types-new insights
Mathematical Structures in Computer Science
Intersection types and λ-definability
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Information and Computation
General homomorphic overloading
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Untyped recursion schemes and infinite intersection types
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
| Hi-index | 0.00 |