Sciweavers

WLP
2007
Springer
13 years 11 months ago
The Kiel Curry System KiCS
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
Bernd Brassel, Frank Huch