Login / Signup
Chad Reynolds
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Lambda Calculus
Real World
Databases
Programming Environment
Top Venues
TFP
</>
Publications
</>
Ananda Guneratne
,
Chad Reynolds
,
Aaron Stump
Project Report: Dependently Typed Programming with Lambda Encodings in Cedille.
TFP
(2016)