Project Report: Dependently Typed Programming with Lambda Encodings in Cedille.

Ananda Guneratne Chad Reynolds Aaron Stump

Published in: TFP (2016)

Keyphrases

lambda calculus
programming language
databases
case study
orders of magnitude
program understanding
project management
programming environment
european project
data mining
software engineering
higher order
real world
software development
computer programming
software development environment
real time