Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Datatype-generic programming [Texte électronique] : international spring school : revised lectures / SSDGP 2006, Nottingham, UK April 24-27, 2006 ; Roland Backhouse ... [et al.]

Publication : Berlin : Springer, 2007

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science ; 4719. Tutorial

Autre(s) auteur(s) : Backhouse, Roland C. (1948-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Hinze, Ralf. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Backhouse, Roland C. (1948-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Backhouse, Roland C. (1948-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Spring School on Datatype-Generic Programming. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Programmation générique  Voir les notices liées en tant que sujet
Haskell (langage de programmation)  Voir les notices liées en tant que sujet
Isomorphisme de Curry-Howard  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Identifiants, prix et caractéristiques : ISBN 9783540767862

Identifiant de la notice  : ark:/12148/cb446960967

Notice n° :  FRBNF44696096 (notice reprise d'un réservoir extérieur)