Skip to contents

Pierce, Benjamin C. [Author]

Types and programming languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Massachusetts; London, England: The MIT Press, [2002]
Hindley, James Roger [Author]

Basic simple type theory - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 1997

Published in: Cambridge tracts in theoretical computer science ; 42
King, Jean C. [Author]; King, Jean Callan [Author]; Esposito, Tony [Author]

The designer's guide to PostScript text type - [rev. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York: Van Nostrand Reinhold, c1993
Pierce, Benjamin C. [Editor]

Advanced topics in types and programming languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 2005
Scholz, Sven-Bodo [Editor]; Chitil, Olaf [Other] ; IFL 20 2008 Hatfield

Implementation and application of functional languages : 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 5836
Heller, Steven [Author]; Anderson, Gail [Author]

Type speaks

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: Abrams, 2021
Mitchell, Richard [Author]

Abstract data types and Modula-2 : a worked example of design using data abstraction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: Prentice Hall, 1992

Published in: Prentice Hall international series in computer science
Syropoulos, Apostolos [Editor] ; TEX Users Group, International Conference on TeX, XML, and Digital Typography 2004 Xanthi, TEX Users Group Meeting (25th 2004 Xanthi, Greece)

TEX, XML, and digital typography : International Conference on TEX, XML, and Digital Typography, held jointly with the 25th annual meeting of the TEX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3130
Ohori, Atsushi [Editor] ; APLAS 1 2003 Peking

Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2003

Published in: Lecture notes in computer science ; 2895
Stubbs, Daniel F. [Author]; Webre, Neil W. [Author]

Data structures with abstract data types and Pascal - [Second edition]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Pacific Grove, Calif.: Brooks/Cole Publishing Company, 1989
Eckstein, Rainer [Author]; Eckstein, Silke [Author]

XML und Datenmodellierung : XML-Schema und RDF zur Modellierung von Daten und Metadaten einsetzen - [1. Auflage]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: dpunkt verlag GmbH, ©2004

Published in: xml.bibliothek
Bove, Ana [Editor]; Soares Barbosa, Luís [Other] ; International Summer School on Language Engineering and Rigorous Software Development 2008 Piriapolis

Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised turorial lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5520
Barthe, Gilles [Editor] ; International Summer School on Applied Semantics 2000 Caminha

Applied semantics : international summer school ; advanced lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2395
Smolka, Gert [Editor] ; ESOP 9 2000 Berlin, ETAPS 3 2000 Berlin

Programming languages and systems : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1782
Sands, David [Editor] ; ESOP 10 2001 Genua, ETAPS 4 2001 Genua

Programming languages and systems : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2028
LeMétayer, Daniel [Editor]; Le Métayer, Daniel [Editor] ; ESOP 11 2002 Grenoble, ETAPS 5 2002 Grenoble

Programming languages and systems : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2305
Degano, Pierpaolo [Editor] ; ESOP 12 2003 Warschau, ETAPS 6 2003 Warschau

Programming languages and systems : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2618
Lecomte, Alain [Editor]; Lamarche, François [Other]; Perrier, Guy [Other] ; LACL 2 1997 Nancy

Logical aspects of computational linguistics : second international conference, LACL '97, Nancy, France, September 22 - 24, 1997 ; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1582
Pogodalla, Sylvain [Editor]; Prost, Jean-Philippe [Other] ; LACL 6 2011 Montpellier

Logical aspects of computational linguistics : 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6736
Uhlig, Harald [Editor]; Lienau, Cay [Adapter]

Flur und Flurformen = Types of field patterns

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Giessen: Schmitz in Komm., 1967

Published in: Materialien zur Terminologie der Agrarlandschaft ; 1

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication