eopl icon indicating copy to clipboard operation
eopl copied to clipboard

verified publisher icon stonebuddha
→

Metadata

Essentials of Programming Languages, with OCaml implementations & Coq proofs

← Metadata

31
Stars
1
Forks
Watchers

Owner

verified publisher icon stonebuddha

Metadata

Essentials of Programming Languages, with OCaml implementations & Coq proofs

Back