Assistant to the Proof Assistant


  1. An Introduction to Formal Methods
  2. Compiling Volatile Correctly in Java
  3. Formalizing Java's Access Modes
  4. NP-complete: how hard is that climb?
  5. Differential Semantics
  6. A Better SQL
  7. Why I'm Getting a PhD
  8. Faster JavaScript through Category Theory
  9. Splitting jQuery in Two, A Proposal
  10. A Natural Transformation in JavaScript
  11. Faster Javascript Through Category Theory

← Home