sargstuff

Karma: 850
Created: 4 years ago

Recent Submissions

1. ▲ A Simpler Lambda Calculus (2019) (dl.acm.org) 1 point · 3 days ago · 0 comments
2. ▲ Pantograph (github.com) 13 points · 5 days ago · 3 comments
3. ▲ Structure Editors (github.com) 8 points · 5 days ago · 3 comments
4. ▲ Models and theories of lambda calculus (2009) (inria.hal.science) 5 points · 8 days ago · 0 comments
5. ▲ Beyond Lambda-Calculus: Intensional Computation (2017) [video] (youtube.com) 2 points · 10 days ago · 0 comments

All submissions on HN · View profile on HN