Type inference with subtypes (original) (raw)
Related papers
Polymorphic subtype inference: Closing the theory-practice gap
Lecture Notes in Computer Science, 1989
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems, 1993
Type inference with constrained types
Theory and Practice of Object Systems, 1999
Type Inference for the Mixture of Matching and Implicit Subtyping
1996
The Polymorphic Rewriting-calculus::[Type Checking vs. Type Inference]
Electronic Notes in Theoretical Computer Science, 2005
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
Lecture Notes in Computer Science, 2008
Type-Checking and Normalisation By Evaluation for Dependent Type Systems
Typed homomorphic relations extended with subtypes
Lecture Notes in Computer Science, 1992
A Type Theory with Re ection by
2012
Parametric polymorphism and semantic subtyping
Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11, 2011
PER models of subtyping, recursive types and higher-order polymorphism
1992
A Rewriting Logic Approach to Type Inference
Lecture Notes in Computer Science, 2009
Polytypic abstraction in type theory
Workshop on Generic Programming (WGP'98), 1998
2015
On Subtyping in Type Theories with Canonical Objects
2016
Type Inference for Recursive Definitions
1999
Type Inference for Nested Self Types
Lecture Notes in Computer Science, 2004
Introduction to generalized type systems
Dependent record types and algebraic structures in type theory
2009
Axiomathes, 2014
On Parametric Polymorphism and Irrelevance in Martin-Löf Type Theory
2010
Extending the type checker of Standard ML by polymorphic recursion
Theoretical Computer Science, 1999
Towards observational type theory
2006
Static Analysis, 1995
Principality and type inference for intersection types using expansion variables
Theoretical Computer Science, 2004
Polymorphic Subtyping: A Semantic Perspective based on Abstract Interpretation (Extended Abstract)
Set-theoretic types for polymorphic variants
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Type checking and type deduction techniques for polymorphic programming languages
2018
Type Reconstruction in the Presence of Polymorphic Recursion and Recursive Types
1993
A First-Order Theory of Types and Polymorphism in Logic Programming
1991
TYPE INFERENCE FOR POLYMORPHIC METHODS IN JAVA-LIKE LANGUAGES
Theoretical Computer Science - Proceedings of the 10th Italian Conference on ICTCS '07, 2007
Type Isomorphisms and Proof Reuse in Dependent Type Theory
Polymorphic type inference and assignment
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Logical Methods in Computer Science, 2011