overview on declarative programming
Overview and History
Overview and History
On Feature Orientation and Functional Programming
of Proof Methods for Corecursive Programs
of Folding Domain−Specific Languages: Deep and Shallow
ocaml
Manchester - University of Kent
Maclennan-chap9-Lisp.ppt
Logic Programming in Tabular Allegories
Logic Programming
Logic Programming
Logic Programming
local/intern/staff/Raamsdonk-van-Femke.pdf
local/intern/staff/Grelck-Clemens.pdf
LN10
List
Lisp vs Scheme
Lisp and Scheme I
Lisp a functional programming language
