• Books
  • Tag: proof-carrying code

Books — proof-carrying code

EN
Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

A

Benjamin C. Pierce (editor)

Programming languages