• Livros
  • Tag: proof-carrying code

Livros — proof-carrying code

EN
Tópicos avançados em tipos e linguagens de programação

Tópicos avançados em tipos e linguagens de programação

A

Benjamin C. Pierce (editor)

Linguagens de programação