Tipos e linguagens de programação
A

Tipos e linguagens de programação

Geral
type theory programming languages lambda calculus subtyping polymorphism type systems formal semantics
Autor
Benjamin C. Pierce
Editora
The MIT Press
Ano
2002
Idioma
Inglês
90
Avaliar este livro

Para ler o livro, entrar / registrar

Pré-visualizar fragmento

Livros similares

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

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

Benjamin C. Pierce (editor)

Pragmática de Linguagens de Programação, Quinta Edição

Pragmática de Linguagens de Programação, Quinta Edição

Michael L. Scott, Jonathan Aldrich

A linguagem de programação C++

A linguagem de programação C++

Bjarne Stroustrup

Linguagem de Programação Rust: Guia Abrangente de Sintaxe, Tipos e Conceitos Fundamentais

Linguagem de Programação Rust: Guia Abrangente de Sintaxe, Tipos e Conceitos Fundamentais

Não especificado no conteúdo fornecido

Princípios da Programação Orientada a Objetos

Princípios da Programação Orientada a Objetos

Não especificado

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

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

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

Saverio Perugini

A especificação da linguagem de programação Go

A especificação da linguagem de programação Go

Oliver Stone

Algoritmos e estruturas de dados

Algoritmos e estruturas de dados

Niklaus Wirth

Conceitos e Vocabulário: Conceitos e Vocabulário de Programação

Conceitos e Vocabulário: Conceitos e Vocabulário de Programação

Autor não indicado