Jeffery Olson, “System R—A Practical Lambda Calculus Made for Extensibility in Rust”
Improving (Hybrid) 10111 Richmond Ave, Suite 100, Houston, TX, United StatesAbstract: This will be a presentation on lambda calculi, their differing varieties and corresponding expressiveness, and a particular implementation: System[…]