Typing Local Definitions and Conditional Expressions with Rank 2 Intersection
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Rank 2 intersection types for local definitions and conditional expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Linearization of the lambda-calculus and its relation with intersection type systems
Journal of Functional Programming
Using intersection types for cost-analysis of higher-order polymorphic functional programs
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Intersection type systems and explicit substitutions calculi
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Hi-index | 0.00 |