Embedding a full linear Lambda calculus in Haskell.

Published in: Haskell (2015)

Keyphrases

lambda calculus
programming language
general purpose
database query languages
databases
object oriented
software engineering
higher order