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

lambda

< >
home edit

lambda is a minilanguage created in 2013.

#2760on PLDB 12Years Old
Homepage

untyped 位-calculus, several evaluation strategies


- Build the next great programming language 路 Add 路 Issues 路 About 路 Search 路 Keywords 路 Livestreams 路 Labs 路 Resources 路 Acknowledgements

Built with Scroll v168.0.0