Talk at the Dafny 2024 Workshop
· One min read
On January 14, 2024, I presented Caesar and the basics of our quantitative intermediate language HeyVL at the Dafny 2024 workshop. The workshop was part of the POPL 2024 conference.
The talk slides are available in PDF format.