Passer au contenu principal

Come join our latest LibraryThing Hunt!

Photo de l'auteur

Robert Harper (1)

Auteur de Practical Foundations for Programming Languages

Pour les autres auteurs qui s'appellent Robert Harper, voyez la page de désambigüisation.

4 oeuvres 62 utilisateurs 0 critiques

Œuvres de Robert Harper

Populaires Récent

Practical Foundations for Programming Languages (2012) 55 exemplaires

Programming in Standard ML 5 exemplaires

Type Systems for Programming Languages 1 exemplaire

Introduction to standard ML (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for… (1986) 1 exemplaire

Explorateur d'oeuvres

Étiqueté

2016-0622 (2) A lire (8) amazon-since-2006 (1) Cartonné (1) cs-programming (1) cs:functional (1) En cours de lecture (2) engineering-to-read (1) Favoris (1) From Amazon (Overcat) (1) Goodreads (1) informatics (1) Informatique (5) Langage (2) Langages de programmation (5) Logique (2) Mathématiques (1) med:textbooks (1) ML (1) non-fiction (2) owner:tillmann (1) Programmation (4) Programmation fonctionnelle (2) Programmation informatique (1) Programming Type Systems (1) reading-group (1) Robert Harper (1) stalled (1) Théorie des types (1) time:cmu (1) Université Carnegie-Mellon (1) where:tillmann (1)

Traduction des mots-clés activée

Partage des connaissances

Nom légal: Harper, Robert William, Jr.
Sexe: male
Organisations: ACM (Fellow, 2005)

Membres

Vous aimerez peut-être aussi

Auteurs associés

Richard Skinner

Statistiques

Œuvres: 4
Membres: 62
Popularité: #271,094
Évaluation: 5.0

ISBN: 11

Tableaux et graphiques

Voir plus de tableaux et graphiques

Photos

Galerie des auteurs

Liens

Blog de l'auteur (English)

Wikipedia author page (English)

Author Home Page at CMU (English)

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Est-ce vous ?

Devenez un(e) auteur LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.