Tagged “presentation”

1. An Introduction to Formal Methods
   14 Mar 2022 research presentation
2. Formalizing Java's Access Modes
   12 Nov 2019 presentation OOPSLA
3. Differential Semantics
   07 Apr 2014 presentation semantics
4. Faster JavaScript through Category Theory
   29 Aug 2013 presentation

See all tags.