Literature for Programmierung 1


Link to the Homepage: Programmierung 1


no image available Abelson, Harold; Sussman, Gerald and Sussman, Julie
Structure and interpretation of computer programs
MIT-Press 1997
no image available Aho, Alfred V. and Ullman, Jeffrey D.
Foundations of computer science
Computer Science Press 1995
  • print: AHO a 1995:1 1.Ex
no image available Broy, Manfred and Rumpe, Bernhard
Übungen zur Einführung in die Informatik:
Strukturierte Aufgabensammlung mit Musterlösungen
Springer 1998
no image available Cousineau, Guy and Mauny, Micheal
The functional approach to programming
Cambridge University Press 1998
  • print: COU g2 1998:1 1.Ex
no image available Felleisen, Matthias and Freidman, Dan
The little MLer
MIT-Press 1998
  • print: FEL m 1998:2 1.Ex
no image available Goos, Gerhard
Vorlesungen über Informatik - Band I:
Grundlagen und funktionales Programmieren
Springer 1997
no image available Milner, Robert; Tofte, Mads; Harper, Robert and MacQueen, David
The definition of Standard ML
MIT-Press 1997
no image available Minsky, Yaron and Madhavapeddy, Anil
Real world Ocaml:
Functional programming for the masses
Cambridge University Press 2022
no image available Mitchell, John C.
Concepts in programming languages
Cambridge Univ. Press 2003
no image available Bird, Richard
Introduction to functional programming using Haskell
Prentice Hall 1998
  • print: P HAS 1998:1 1.Ex
no image available Hudak, Paul
The Haskell school of expression:
Learning functional programming through multimedia
Cambridge University Press 2000
  • print: P HAS 2000:1 1.Ex
no image available Wikström, Ake
Functional programming using Standard ML
Prentice Hall International 1987
  • print: P ML 1987:1 1.Ex
no image available Ullman, Jeffrey
Elements of ML programming
Prentice-Hall 1998
  • print: P ML 1998:2 1.Ex
no image available Hansen, Michael R. and Rischel, Hans
Introduction to programming using SML
Addison Wesley 1999
  • print: P ML 1999:2 1.Ex
no image available Paulson, Larry
ML for the working programmer
Cambridge University Press 2004
  • print: P ML 2004:1 1.Ex
no image available Rosen, Kenneth H.
Discrete mathematics and its applications
McGraw Hill 2003
  • print: ROS k 2003:1 1.Ex
no image available Smolka, Gert
Programmierung:
Eine Einführung in die Informatik mit Standard ML
Oldenbourg 2011
no image available Smolka, Gert
Programming:
Chapter trees
2012
  • print: Papierkopie