System FC with explicit kind equality

DOI10.1145/2500365.2500599zbMath1323.68194OpenAlexW1968424997MaRDI QIDQ5244807

Stephanie Weirich, Justin Hsu, Richard Eisenberg

Publication date: 30 March 2015

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

Full work available at URL: https://repository.brynmawr.edu/compsci_pubs/9

zbMATH Keywords

Haskellequalitydependent types

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (5)

Algebraic dynamic programming for multiple context-free grammars ⋮ Unified Syntax with Iso-types ⋮ A Reflection on Types ⋮ Unnamed Item ⋮ Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic

Uses Software

• Haskell
• GHC

This page was built for publication: System FC with explicit kind equality