Skip to content

A Unified Computation Model for Functional and Logic Programming.

Michael Hanus

VenueA*POPL
Year1997
ProceedingsPOPL

Browse the full POPL paper archive.