Discriminative sum types locate the source of type errors (original) (raw)
Related papers
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems, 1993
Extending the type checker of Standard ML by polymorphic recursion
Theoretical Computer Science, 1999
Type checking and typability in domain-free lambda calculi
Theoretical Computer Science, 2011
Type checking and type deduction techniques for polymorphic programming languages
2018
The Simply Typed Lambda Calculus
Lambda Calculus with Types, 2009
Type inference with constrained types
Theory and Practice of Object Systems, 1999
Improving type-error messages in functional languages
Journal of Functional Programming, 2002
Type Processing by Constraint Reasoning
Lecture Notes in Computer Science, 2006
Type Inference for Recursive Definitions
1999
TYPE INFERENCE FOR POLYMORPHIC METHODS IN JAVA-LIKE LANGUAGES
Theoretical Computer Science - Proceedings of the 10th Italian Conference on ICTCS '07, 2007
Improving type error diagnosis
Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04, 2004
Typeview: a tool for understanding type errors
2000
Lexically scoped type annotations
Static typing for a faulty lambda calculus
ACM SIGPLAN Notices, 2006
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
Functional and Constraint Logic Programming, 2010
Declaration-free type checking
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985
Implicit and Explicit Typing in Lambda Logic
2008
Type-Checking and Normalisation By Evaluation for Dependent Type Systems
Type Assignment for the Computational lambda-Calculus
arXiv (Cornell University), 2019
The typed polymorphic label-selective λ-calculus
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94, 1994
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Journal of Universal Computer Science, 2003
The Polymorphic Rewriting-calculus::[Type Checking vs. Type Inference]
Electronic Notes in Theoretical Computer Science, 2005
Type Debugging in the Hindley/Milner System with Overloading
An effective theory of type refinements
ACM SIGPLAN Notices, 2003
Type Inference for the Mixture of Matching and Implicit Subtyping
1996
Type inference for guarded recursive data types
2005
A correspondence between type checking via reduction and type checking via evaluation
Information Processing Letters, 2012
A Rewriting Logic Approach to Type Inference: Technical Report
Improving precision of type analysis using non-discriminative union
Theory and Practice of Logic Programming, 2007
On Type-directed Generation of Lambda Terms
2015
Safe and decidable type checking in an object-oriented language
ACM SIGPLAN Notices, 1993
Type inference for a correspondence certifying type system
cs.ioc.ee
A typed lambda calculus with intersection types
Theoretical Computer Science, 2008