• POPLmark Reloaded, Part 1

  • Dec 23 2024
  • Durée: 15 min
  • Podcast

POPLmark Reloaded, Part 1

Écouter gratuitement

Voir les détails du balado

  • Résumé

  • I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.

    Voir plus Voir moins
Voir plus Voir moins

Ce que les auditeurs disent de POPLmark Reloaded, Part 1

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.