• Libros
  • Etiqueta: proof-carrying code

Libros — proof-carrying code

EN
Temas avanzados en tipos y lenguajes de programación

Temas avanzados en tipos y lenguajes de programación

A

Benjamin C. Pierce (editor)

Lenguajes de programación.