Lang-Talks / PRG·PRG Student Meetups
Student Programming Language Meetup
- 2024-04-24 - 🔗 Recording - #14: A Generic Introduction to Algebraic Effects
- 2024-04-10 - 🔗 Recording - #13: Shen: building types with Prolog and the sequent calculus
- 2023-11-29 - #10: CLOS: The basic parts & reading lisp
- 2023-11-30 - #9: Closures are a poor man’s object (Prototypes: Object-Orientation, Functionally)
- 2023-03-27 - 🔗 Recording - #4: Significantly Abridged: Optimize for speed and safety in Common Lisp and Coalton through Gradual typing
- 2023-01-31 - 🔗 Recording - #2: Continuations, how to have made a different sandwich
- 2022-12-15 - 🔗 Recording - #1: Malbolge: the self-modifying puzzle?
Pages
| Date | Title | 🕐 | Words |
|---|---|---|---|
| 2025-10-20 | Student Meetup #6 - Monad Stacking | 7 min | 1227 |
| 2025-06-06 | #19 - ι: Transpiling LLVM to a high-level language | 5 min | 992 |
| 2025-04-09 | #18: Why exceptions are like Dynamic Monads | 12 min | 2345 |