Higher-order type-level programming in Haskell.

Csongor Kiss Tony Field Susan Eisenbach Simon Peyton Jones

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

higher order
programming language
levels of abstraction
higher level
functional language
lambda calculus
artificial intelligence
programming environment
computer programs
natural images
search algorithm
case study
high order
lower level
relational databases
functional programming
high level