Misc. Functional Languages

A Prological Definition Of HASL: A Purely Functional Language With Unification-Based Conditional Binding Expressions

Harvey Abramson (incollection, 1986)

Cayenne -- Spice up your programming with dependent types

Lennart Augustsson (misc, 1998)

The Design and Implementation of Mondrian

Erik Meijer and Joost van Dijk and Koen Claessen and Arjan van Yzendoorn (misc, 1997)

Qute : A Functional Language Based On Unification

M.~Sato and T.~Sakurai (incollection, 1986)

Single Assignment C -- Entwurf und Implementierung einer funktionalen C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen

Sven--Bodo Scholz (phdthesis, 1996)

A functional approach to database updates

C.~Small (article, 1993)

FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming

P.A.~Subrahmanyam and J-H.~You (incollection, 1986)

Extending functional database languages to update completeness

D.R.~Sutton and C.~Small (inproceedings, 1995)