Deriving algorithms from type inference systems: application to strictness analysis
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inference of polymorphic and conditional strictness properties
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic (TOCL)
Intersection and singleton type assignment characterizing finite Böhm-trees
Information and Computation
Normalization, approximation, and semantics for combinator systems
Theoretical Computer Science
Compositional Characterizations of lambda-Terms Using Intersection Types
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Characterising Strong Normalisation for Explicit Substitutions
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
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
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
A conjunctive type system for useless-code elimination
Mathematical Structures in Computer Science
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Intersection types for explicit substitutions
Information and Computation
Behavioural inverse limit λ-models
Theoretical Computer Science - Logic, semantics and theory of programming
THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
Journal of Functional Programming
Intersection types and lambda models
Theoretical Computer Science - Logic, language, information and computation
Compositional characterisations of λ-terms using intersection types
Theoretical Computer Science - Mathematical foundations of computer science 2000
The heart of intersection type assignment: Normalisation proofs revisited
Theoretical Computer Science
On Isomorphisms of Intersection Types
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Semantic predicate types and approximation for class-based object oriented programming
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Sequence Types for the π-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Intersection and Union Types for X
Electronic Notes in Theoretical Computer Science (ENTCS)
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Complexity of strongly normalising λ-terms via non-idempotent intersection types
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Intersection types for the resource control lambda calculi
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Subject reduction vs intersection / union types in λµµ
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS
Fundamenta Informaticae
Model Checking Higher-Order Programs
Journal of the ACM (JACM)
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Completeness and Soundness Results for X with Intersection and Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Characterising Strongly Normalising Intuitionistic Terms
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Intersection Types and Termination Properties
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Hi-index | 5.23 |