Assistant to the Proof Assistant


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

← Home