Type checking with open type functions

DOI10.1145/1411204.1411215zbMath1323.68156OpenAlexW4213090963MaRDI QIDQ5178755

Manuel M. T. Chakravarty, Tom Schrijvers, Martin Sulzmann, Simon L. 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 functionstype families

Mathematics Subject Classification ID

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

Related Items

Explicit effect subtyping, Hierarchy in Generic Programming Libraries, Algebraic Specialization of Generic Functions for Recursive Types, <scp>OutsideIn(X)</scp>Modular type inference with local assumptions, Transformation of structure-shy programs with application to XPath queries and strategic functions, A lightweight approach to datatype-generic rewriting, COCHIS: Stable and coherent implicits, Type-Safe Code Transformations in Haskell