Page Information

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Current Topic: WebAssembly

On March 2 9 we will discuss the paper Mechanising and Verifying the WebAssembly Specification by Watt. More information on WebAssembly can be found at the project sitetwo short papers about the applications and use of WebAssembly:

Previous topics

PL Reading Group Archive