103
click to vote
PPDP
15 years 6 months ago
2001 Springer 
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ Òع × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö Øݺ ÁÒ Ø × Ô...
PPDP
15 years 6 months ago
2001 Springer 
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
115
click to vote
PPDP
15 years 6 months ago
2001 Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
111
click to vote
PPDP
15 years 6 months ago
2001 Springer 
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
PPDP
15 years 6 months ago
2001 Springer |
Programming Languages