Assistant to the Proof Assistant

Tagged “presentation”

  1. Formalizing Java's Access Modes
  2. Differential Semantics
  3. Faster JavaScript through Category Theory

See all tags.