Video

Does my face look familiar?

Serious

  • Language Integrated Verification (PLDI 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”