41 search results - page 4 / 9 » Induction, Coinduction, and Adjoints |
CORR
2006
Springer
15 years 1 months ago
2006
Springer
94
Voted
CSL
1998
Springer
15 years 1 months ago
1998
Springer
99
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
104
Voted
CEFP
2009
Springer
14 years 11 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
129
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...