Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

lambda

< >

lambda is a minilanguage created in 2013.

#2732on PLDB 11Years Old
Homepage

untyped 位-calculus, several evaluation strategies


View source
- Build the next great programming language Add About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll