Lambda: the ultimate sublanguage (experience report)
Abstract
We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.
Related papers
- LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) ICFP 2023
- Lambda, the ultimate TA: using a proof assistant to teach programming language foundations ICFP 2009
- Experience report: developing high performance HTTP/2 server in Haskell Haskell 2016
- Patterns in Practice OOPSLA 1995
- A Core Calculus for Documents: Or, Lambda: The Ultimate Document POPL 2024
- Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator TOPLAS 2008
- Lambda the Ultimate SSA: Optimizing Functional Programs in SSA CGO 2022
- Replicating sc Restart with Prolonged Retrials: An Experimental Report TACAS 2021