• Introduction to Formalizing Programming Languages Theory

  • Nov 25 2024
  • Durée: 12 min
  • Podcast

Introduction to Formalizing Programming Languages Theory

Écouter gratuitement

Voir les détails du balado

  • Résumé

  • 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.
    Voir plus Voir moins
Voir plus Voir moins

Ce que les auditeurs disent de Introduction to Formalizing Programming Languages Theory

Moyenne des évaluations de clients

Évaluations – Cliquez sur les onglets pour changer la source des évaluations.

Évaluations sur Audible.ca

Évaluations sur Amazon.ca
Il n'y a pas encore de critiques pour ce titre.