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

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

Montador
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
Autor
Benjamin C. Pierce (editor)
Editora
The MIT Press
Ano
2005
Idioma
Inglês
104
Avaliar este livro

Para ler o livro, entrar / registrar

Pré-visualizar fragmento

Livros similares

Estruturas de dados e algoritmos avançados

Estruturas de dados e algoritmos avançados

Abirami A, Priya R L

A linguagem de programação C++

A linguagem de programação C++

Bjarne Stroustrup

Sistemas de Computador: Uma Perspectiva do Programador, Terceira Edição Global

Sistemas de Computador: Uma Perspectiva do Programador, Terceira Edição Global

Randal E. Bryant, David R. O'Hallaron

A linguagem de programação C++, quarta edição

A linguagem de programação C++, quarta edição

Bjarne Stroustrup

Linguagens de programação: conceitos e implementação

Linguagens de programação: conceitos e implementação

Saverio Perugini

Effective C, 2ª Edição: Uma Introdução à Programação Profissional em C

Effective C, 2ª Edição: Uma Introdução à Programação Profissional em C

Robert C. Seacord

Um guia completo para programação em C++

Um guia completo para programação em C++

Ulla Kirch-Prinz, Peter Prinz

Programação em C#: Tipos de valor e tipos de referência

Programação em C#: Tipos de valor e tipos de referência

Mark J. Price

A linguagem de programação C, segunda edição

A linguagem de programação C, segunda edição

Brian W. Kernighan, Dennis M. Ritchie

Programação Avançada em Perl

Programação Avançada em Perl

Simon Cozens