profile picture
Lambda Land

It's functions all the way down!

  • © Ashton Wiersdorf 2022
  • Home
  • About
  • Posts
  • Tags
  • Résumé
  • RSS Feed
2022
  • How to write a type checker/type inferrer with good error messages
    Jul 27
  • Complete and Liveness, Safe and Sound
    Mar 2
2021
  • Control-Flow Analysis
    Jul 27
  • © Ashton Wiersdorf 2022