Skip to main content

Talk at the Dafny 2024 Workshop

· One min read
Philipp Schroer

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 starts at timestamp 7:16:23 and ends at timestamp 7:34:00.