9. WFLP 2000:
(Ed.): 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000.
Clara Benac Earle
: Symbolic program execution using the Erlang verification tool.
Peter A. Flach
: The Use of Functional and Logic Languages in Machine Learning.
: Strong and NV-sequentiality of constructor systems.
: Markup Languages for Functional-Logic Programming.
: Adding Linear Constraints over Real Numbers to Curry.
: Implementing an Object Oriented Design in Curry.
: Compiler Construction in a Functional Setting.