by Peter Pepper
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
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
Algorithmische Programmierung · Funktionale Programmierung
Struktur und Interpretation von Computerprogrammen
1998
2001
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