Type checking with open type functions

DOI10.1145/1411204.1411215MaRDI QIDQ5178755zbMATH OpenOpenAlexFDO

Authors Tom Schrijvers, Manuel M. T. Chakravarty, Martin Sulzmann, Simon Peyton-Jones

Publication date 16 March 2015

Published in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/236011

zbMATH Keywords

Haskelltype checkingtype familiestype functions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Closed type families with overlapping equations
• Fun with type functions
• Haskell type constraints unleashed
• Type classes with more higher-order polymorphism
• Type Processing by Constraint Reasoning

Cited in

(21)

• Lower bounds on type checking overloading
• Let arguments go first
• Type checking and problem of overloaded arguments
• Type checking for JavaScript
• Type-safe code transformations in Haskell
• Associated type synonyms
• Hierarchy in generic programming libraries
• A lightweight approach to datatype-generic rewriting
• Fun with type functions
• Haskell type constraints unleashed
• scientific article; zbMATH DE number 1330430 (Why is no real title available?)
• Type-checking multi-parameter type classes
• \textsc{OutsideIn(X)}: modular type inference with local assumptions
• COCHIS: stable and coherent implicits
• Explicit effect subtyping
• Algebraic specialization of generic functions for recursive types
• System FC with explicit kind equality
• Programming Languages and Systems
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Closed type families with overlapping equations
• A Compilation Method for Dynamic Typing in ML

This page was built for publication: Type checking with open type functions

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