YoVDO

Functorial Syntax for All - Representing and Reasoning About Binding Structures

Offered By: ACM SIGPLAN via YouTube

Tags

Programming Languages Courses Coq Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 21-minute conference talk from ACM SIGPLAN's CoqPL'24 event, focusing on a Coq library for reasoning about variable binding in programming languages. Delve into Piotr Polesiuk and Filip Sieczkowski's presentation on functorial syntax, a variant of Fiore, Plotkin, and Turi's approach. Learn about the development and practical applications of this library across various formalization projects, gaining insights into advanced techniques for representing and reasoning about binding structures in theorem proving systems.

Syllabus

[CoqPL'24] Functorial Syntax for All


Taught by

ACM SIGPLAN

Related Courses

Verifying the LLVM
Strange Loop Conference via YouTube Beweisbar sichere Software
media.ccc.de via YouTube RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story
Rust via YouTube Building Measure Theory Using Hierarchy Builder
Hausdorff Center for Mathematics via YouTube Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015
GOTO Conferences via YouTube