Technology

Introduction to Formalizing Programming Languages Theory

Nov 25, 202412:20Technology

In this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using interactive theorem provers like Rocq (formerly Coq) and Agda.

About This Episode

Introduction to Formalizing Programming Languages Theory is an episode from Iowa Type Theory Commute by Aaron Stump. In this episode, I begin discussing the question and history of formalizing results in Programming Languages Theory using i...

Podcast

This episode belongs to Iowa Type Theory Commute.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Nov 25, 2024, 12:20 long, audio available.

Introduction to Formalizing Programming Languages Theory

About This Episode

Related Episodes