Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
The essence of computation
Intersection types and λ-definability
Mathematical Structures in Computer Science
Reductions, intersection types, and explicit substitutions
Mathematical Structures in Computer Science
Modular control-flow analysis with rank 2 intersection types
Mathematical Structures in Computer Science
Type assignment and termination of interaction nets
Mathematical Structures in Computer Science
Principality and type inference for intersection types using expansion variables
Theoretical Computer Science
Intersection types for explicit substitutions
Information and Computation
On strong normalization and type inference in the intersection type discipline
Theoretical Computer Science
On Type Inference in the Intersection Type Discipline
Electronic Notes in Theoretical Computer Science (ENTCS)
Intersection and Union Types in the λμμ~-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
On strong normalization in the intersection type discipline
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Characterising strongly normalising intuitionistic sequent terms
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
Intersection types for the resource control lambda calculi
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Characterising Strongly Normalising Intuitionistic Terms
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Hi-index | 0.00 |