by J. Sussman
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Algorithms · Computer algorithms
Introduction to Algorithms
1990
Algorithmische Programmierung · Funktionale Programmierung
Struktur und Interpretation von Computerprogrammen
2001
Algorithmische Programmierung
Methoden der imperativen Programmierung
1993
Prozedurale Programmierung
2002
ML (Computer program language) · Type donnée
Applicative high order programming
1991
Lambda calcul · Interpréteur commande
Elements of functional programming
1989
Logic design · Computer science
Pattern Calculus
2009
Functional programming (Computer science) · Database management
The Functional approach to data management
2003
Applikative Programmierung · Funktionale Programmierung
Funktionale Programmierung
1999
Grundlagen der funktionalen Programmierung
1994
Logique symbolique et mathématique · Symbolic and mathematical Logic
Foundations of Logic and Functional Programming Workshop
1988
Funktionale Programmierung · Miranda
Einführung in die funktionale Programmierung mit Miranda
Functional programming (Computer science) · Funktionale Programmierung
Einführung in die funktionale Programmierung
1992
Implementation · Software Engineering
Combinators and functional programming languages
1986
Lambda calculus · Symbolic and mathematical Logic
Adapting proofs-as-programs
2005