Functorial Syntax for All - Representing and Reasoning About Binding Structures

Offered By: ACM SIGPLAN via YouTube

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

Advanced CloudFormation: Macros (Simplified Chinese)
Amazon Web Services via AWS Skill Builder Advanced Java Concurrency
Vanderbilt University via Coursera Advanced Monitoring and Optimizing with DynamoDB (Traditional Chinese)
Amazon Web Services via AWS Skill Builder Advanced SAS Programming Techniques
SAS via Coursera Amazon DynamoDB for Serverless Architectures (Spanish)
Amazon Web Services via AWS Skill Builder