Video
Does my face look familiar?
Serious
- Language Integrated Verification (PLDI 2018)
- How to give talks (PLMW@ICFP 2018)
- Refinement Types for TypeScript (UW PLSE Seminar)
- Introduction to Refinement Types (POPL PLMW 2016)
- A long but hopefully beginner friendly introduction to LiquidHaskell.
Seriously
No point hiding any more. These gems are thanks to UCSD/LambdaStyle Productions, aka
the brilliant Kirill Levchenko.
“Hello”
“Grad School”
“LambdaStyle”