DMCA

CurryDoc: A Documentation Tool for Declarative Programs (2002)

by Michael Hanus
Venue:University of Udine
Citations:6 - 5 self