Principality and decidable type inference for finite-rank intersection types
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Essence of Principal Typings
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Order-Incompleteness and Finite Lambda Models, Extended Abstract
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Order-incompleteness and finite Lambda reduction models
Theoretical Computer Science
Principality and type inference for intersection types using expansion variables
Theoretical Computer Science
| Hi-index | 5.23 |