From Scripting to Proving: Gradual Verification with a Scheme
From Scripting to Proving
From Scripting to Proving: Gradual Verification for Expressive Programming Languages
Details: https://the-au-forml-lab.github.io/colloquium_talks/Horn.html.
From Scripting to Proving: Gradual Verification for Expressive Programming Languages
Details: https://the-au-forml-lab.github.io/colloquium_talks/Horn.html.