1:06:07

[POPL 2021] CoqPL: Verifying a compiler through equational means

ACM SIGPLAN

46:11

[POPL 2021] CoqPL: Session with the Coq Development Team

ACM SIGPLAN

13:53

[POPL 2021] CoqPL: A Limited Case for Reification by Type Inference

ACM SIGPLAN

14:46

[POPL 2021] CoqPL: Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml

ACM SIGPLAN

12:17

[POPL 2021] CoqPL: Automated Synthesis of Verified Firewalls

ACM SIGPLAN

13:56

[POPL 2021] CoqPL: Verification of Algorithm and Code Generation for Signal Transforms

ACM SIGPLAN

10:18

[POPL 2021] CoqPL: Record Updates in Coq

Tej Chajed

9:52

[POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq

ACM SIGPLAN