-
Jeffery Olson, “System R—A Practical Lambda Calculus Made for Extensibility in Rust”
Jeffery Olson, “System R—A Practical Lambda Calculus Made for Extensibility in Rust”
Abstract: This will be a presentation on lambda calculi, their differing varieties and corresponding expressiveness, and a particular implementation: System[…]
Free