Sciweavers

WLP
2007
Springer
16 years 19 hour 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