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

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