CurryBrowser: A Generic Analysis Environment for Curry Programs (2006)

by M Hanus
Venue:In Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE’06