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.
Talk at the Dafny 2024 Workshop
· One min read
Caesar Developer