Martin Sulzmann

• Functional and Logic Programming