Join the PLDB email list:
Join
❌
PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
lambda
<
>
home
edit
lambda is a
minilanguage
created in
2013
.
#2751
on PLDB
11
Years Old
Homepage
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.
hlvm.html
· lambda.html ·
lav-format.html
PLDB
- Build the next great programming language
·
Add
·
Issues
·
About
·
Search
·
Keywords
·
Livestreams
·
Labs
·
Resources
·
Acknowledgements
Built with Scroll v164.7.0