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

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

Assembleur
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
Auteur
Benjamin C. Pierce (editor)
Éditeur
The MIT Press
Année
2005
Langue
Anglais
107
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Structures de données et algorithmes avancés

Structures de données et algorithmes avancés

Abirami A, Priya R L

Le langage de programmation C++

Le langage de programmation C++

Bjarne Stroustrup

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

Le langage de programmation C++, quatrième édition

Le langage de programmation C++, quatrième édition

Bjarne Stroustrup

Langages de programmation : concepts et mise en œuvre

Langages de programmation : concepts et mise en œuvre

Saverio Perugini

C Efficace, 2ᵉ édition : Une introduction à la programmation professionnelle en C

C Efficace, 2ᵉ édition : Une introduction à la programmation professionnelle en C

Robert C. Seacord

Un guide complet de la programmation en C++

Un guide complet de la programmation en C++

Ulla Kirch-Prinz, Peter Prinz

Programmation en C# : Types valeur et types référence

Programmation en C# : Types valeur et types référence

Mark J. Price

Le langage de programmation C, deuxième édition

Le langage de programmation C, deuxième édition

Brian W. Kernighan, Dennis M. Ritchie

Programmation Perl avancée

Programmation Perl avancée

Simon Cozens