Lexically scoped type annotations (original) (raw)
Related papers
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Journal of Universal Computer Science, 2003
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems, 1993
Improved Inference for Checking Annotations
Type Inference for Recursive Definitions
1999
Type inference for guarded recursive data types
2005
Declaration-free type checking
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985
TYPE INFERENCE FOR POLYMORPHIC METHODS IN JAVA-LIKE LANGUAGES
Theoretical Computer Science - Proceedings of the 10th Italian Conference on ICTCS '07, 2007
Exploring Type Inference Techniques of Dynamically Typed Languages
Type inference with constrained types
Theory and Practice of Object Systems, 1999
Untangling Type Inference and Scope Analysis *
2011
Extending the type checker of Standard ML by polymorphic recursion
Theoretical Computer Science, 1999
Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference
2006
Types Inference for Generic Haskell
A Rewriting Logic Approach to Type Inference: Technical Report
Type Inference for Multi-Parameter Type Classes
Type Inference for Generic Haskell
Static Analysis, 1995
A Rewriting Logic Approach to Type Inference
Lecture Notes in Computer Science, 2009
Type Debugging in the Hindley/Milner System with Overloading
Advanced Type Extensions and Applications in Chameleon
Citeseer
Simple unification-based type inference for GADTs
ACM SIGPLAN Notices, 2006
More Precise Yet Efficient Type Inference for Logic Programs
Lecture Notes in Computer Science, 2002
Type checking and type deduction techniques for polymorphic programming languages
2018
Theoretical Computer Science, 1990
OutsideIn(X)Modular type inference with local assumptions
Journal of Functional Programming, 2011
Non-standard type inference for functional programs
1998
Efficient Type Inference Using Monads (DRAFT)
2007
On Termination, Confluence and Consistent CHR-based Type Inference
Theory and Practice of Logic Programming, 2014
Type inference for a correspondence certifying type system
cs.ioc.ee
Saint: An API-Generic Type-Safe Interpreter
2018
Principal Type Inference for GHC-Style Multi-parameter Type Classes
Lecture Notes in Computer Science, 2006
Type Processing by Constraint Reasoning
Lecture Notes in Computer Science, 2006
Type Inference for Bimorphic Recursion
Type checking with open type functions
ACM SIGPLAN Notices, 2008
Extending the C + + Type System to support Annotations
2005