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

lambda

< >

lambda is a minilanguage created in 2013.

#2751on PLDB

11Years Old

untyped λ-calculus, several evaluation strategies

Tags: minilanguage
Early development of lambda happened in https://github.com/andrejbauer/plzoo/issues
Read more about lambda on the web: 1.

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

Built with Scroll v164.7.0