Michael Hanus A Unified Computation Model for Declarative Programming Invited talk at 1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), 1997

Languages mentioned

• Curry {1995} Hybrid functional/logic language