Geeks
fetburner
/
call-by-need
A Formalization of Ariola and Felleisen's call-by-need lambda calculus
Primary Language
TeX
call-by-need GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Stargazers
akawashiro
Preferred Networks
msakai
Preferred Networks, Inc. (@pfnet)
tkersey
@thisisartium