Home | Blog | Wiki | About

Notes from OPLSS videos.

2021:

• Kleene algebras and applications - Alexandra Silva

2019:

• Coalgebraic semantics - Alexandra Silva
• Probabilistic programming: Bayesian non-parametrics and semantics - Sam Staton
• Practical foundations for programming languages - Bob Harper