Types et langages de programmation
A

Types et langages de programmation

Général
type theory programming languages lambda calculus subtyping polymorphism type systems formal semantics
Auteur
Benjamin C. Pierce
Éditeur
The MIT Press
Année
2002
Langue
Anglais
93
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Sujets avancés sur les types et les langages de programmation

Sujets avancés sur les types et les langages de programmation

Benjamin C. Pierce (editor)

Pragmatique des langages de programmation, cinquième édition

Pragmatique des langages de programmation, cinquième édition

Michael L. Scott, Jonathan Aldrich

Le langage de programmation C++

Le langage de programmation C++

Bjarne Stroustrup

Langage de Programmation Rust : Guide Complet sur la Syntaxe, les Types et les Concepts Fondamentaux

Langage de Programmation Rust : Guide Complet sur la Syntaxe, les Types et les Concepts Fondamentaux

Non spécifié dans le contenu fourni

Principes de la Programmation Orientée Objet

Principes de la Programmation Orientée Objet

Non spécifié

Systèmes informatiques : Perspective du programmeur, Troisième édition mondiale

Systèmes informatiques : Perspective du programmeur, Troisième édition mondiale

Randal E. Bryant, David R. O'Hallaron

Langages de programmation : concepts et mise en œuvre

Langages de programmation : concepts et mise en œuvre

Saverio Perugini

La spécification du langage de programmation Go

La spécification du langage de programmation Go

Oliver Stone

Algorithmes et structures de données

Algorithmes et structures de données

Niklaus Wirth

Concepts et vocabulaire : Concepts et vocabulaire de la programmation

Concepts et vocabulaire : Concepts et vocabulaire de la programmation

Auteur non spécifié