A Lean Formalization of Cedar

Bhakti Shah
January 2024
PDF Poster
Type
Poster
Publication
Principles of Programming Languages (POPL 2024): Student Research Competition Poster