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
Multi-Purpose Shared Data Sources in a Functional Language
Modeling, Specification Languages, Array Programs
Modeling Data With Functional Programming In R
Modeling C preprocessor metaprograms using purely functional
ML Functions - Welcome to Computer Science
ML Basics
Miranda * A Functional Language
Methods and Patterns for User-friendly Quantum Programming
medium resolution