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 (8)

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

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