Lambdulus: teaching lambda calculus practically.

Jan Sliacky Petr Maj

Published in: SPLASH-E (2019)

Keyphrases

lambda calculus
programming language
computer programming
predicate calculus
database query languages
programming course
higher order
complex objects
program understanding
knowledge base
data types
teaching materials
aggregate queries