Strongly typed flow-directed representation transformations (extended abstract)
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Disjunctive program analysis for algebraic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
From polyvariant flow information to intersection and union types
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Completeness of intersection and union type assignment systems for call-by-value λ-models
Theoretical Computer Science - Special issue on theories of types and proofs
Completeness of type assignment systems with intersection, union, and type quantifiers
Theoretical Computer Science - Special issue on theories of types and proofs
An Improved Disjunctive Strictness Analysis for Lazy Functional Languages
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Infinite Intersection and Union Types for the Lazy Lambda Calculus
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Union Types for Semistructured Data
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
A binary modal logic for the intersection types of lambda-calculus
Information and Computation
Information and Computation - TACS 2001
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Lambda terms for natural deduction, sequent calculus and cut elimination
Journal of Functional Programming
A calculus with polymorphic and polyvariant flow types
Journal of Functional Programming
From Polyvariant flow information to intersection and union types
Journal of Functional Programming
Characterizing strong normalization in a language with control operators
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
A compositional logic for polymorphic higher-order functions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Union types for object-oriented programming
Proceedings of the 2006 ACM symposium on Applied computing
Calculi, types and applications
Theoretical Computer Science
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Journal of the ACM (JACM)
Session and Union Types for Object Oriented Programming
Concurrency, Graphs and Models
Refinement types and computational duality
Proceedings of the 3rd workshop on Programming languages meets program verification
Type Inference by Coinductive Logic Programming
Types for Proofs and Programs
On the Values of Reducibility Candidates
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Coinductive Type Systems for Object-Oriented Languages
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Intersection and Union Types in the λμμ~-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Intersection and Union Types for X
Electronic Notes in Theoretical Computer Science (ENTCS)
Type assignment for intersections and unions in call-by-value languages
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
On the stability by union of reducibility candidates
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
A cut-free sequent calculus for pure type systems verifying the structural rules of Gentzen/Kleene
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Simple saturated sets for disjunction and second-order existential quantification
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Strictness analysis algorithms based on an inequality system for lazy types
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Complete coinductive subtyping for abstract compilation of object-oriented languages
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
Union and intersection types to support both dynamic and static typing
Information Processing Letters
Logic and computation in a lambda calculus with intersection and union types
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
A filter model for the λµ-calculus
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
A design for a security-typed language with certificate-based declassification
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Subject reduction vs intersection / union types in λµµ
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Elaborating intersection and union types
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
A note on subject reduction in (→,∃)-Curry with respect to complete developments
Information Processing Letters
Completeness and Soundness Results for X with Intersection and Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Strong Normalization in the π-calculus with Intersection and Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Towards a Logic for Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Hi-index | 0.00 |