\textsc{OutsideIn(X)}: modular type inference with local assumptions

DOI10.1017/S0956796811000098MaRDI QIDQ4918240zbMATH OpenFDO

Authors Dimitrios Vytiniotis, Tom Schrijvers, Martin Sulzmann, Simon Peyton-Jones

Publication date 24 April 2013

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796811000098

zbMATH Keywords

constraint solverconstraint-based type inference

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Complete and decidable type inference for GADTs
• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• Ambivalent types for principal type inference with GADTs
• Principal type inference for GADTs
• scientific article; zbMATH DE number 1692901

Cites work

• A Framework for Extended Algebraic Data Types
• A theory of type polymorphism in programming
• Associated type synonyms
• Guarded recursive datatype constructors
• Practical type inference for arbitrary-rank types
• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• Scrap your boilerplate with class: extensible generic functions
• Shostak's congruence closure as completion
• Theorem proving using equational matings and rigid E -unification
• Theory and practice of constraint handling rules
• Type checking with open type functions
• Type inference for polymorphic references
• Type Reconstruction for Type Classes
• Understanding functional dependencies via constraint handling rules

Cited in

(12)

• Visible type application
• Complete and decidable type inference for GADTs
• Ambivalent types for principal type inference with GADTs
• Constraint handling rules with binders, patterns and generic quantification
• COCHIS: stable and coherent implicits
• Modular inference of linear types for multiplicity-annotated arrows
• Migrating gradual types
• Skalpel: a constraint-based type error slicer for standard ML
• Safe zero-cost coercions for Haskell
• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• Idris, a general-purpose dependently typed programming language: Design and implementation
• \(\eta\)-equivalence in core dependent Haskell

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: \textsc{OutsideIn(X)}: modular type inference with local assumptions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918240)