Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language design...

Description complète

Détails bibliographiques

Collectivité auteur:	Types in compilation :Montréal, Québec
Autres auteurs:	Harper, Robert William, 1957- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2071
Sujets:	Informatique Compilation (informatique) Langages de programmation Théorie des types Logique symbolique et mathématique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Types in compilation, third international workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised selected Papers, Robert Harper, (ed.), 2001, New York, Springer, 1 vol. (206 p.), Lecture notes in computer science, 3-540-42196-3 • Types in Compilation, Texte imprimé, 9783662175125