MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Corrigendum to "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59]." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

662,389 documents found, showing 1 through 10. Next 10 →

ATOM

Induction of Recursive Program Schemes
by Ute Schmid, Fritz Wysotzki — 1998 — In Proceedings of the 10th European Conference on Machine Learning (ECML-98
… and their use in analogical reasoning in a unified way (see [16]). 3 Recursive Program Schemes (RPSs…
Cited by 14 (14 self) – Add To MetaCart

Recursion Schemes for Dynamic Programming
by Jevgeni Kabanov, Varmo Vene — Mathematics of Program Construction, 8th International Conference, MPC 2006
…Recursion Schemes for Dynamic Programming Jevgeni Kabanov and Varmo Vene Dept. of Computer Science…
Cited by 1 (0 self) – Add To MetaCart

Inductive Synthesis of Recursive Program Schemes
by Stephan Bohm, Susanne Dobratz, Imre Szabo, Ute Schmid — 1995 — Universität Berlin, Computer Science Department
…. It is based on the theoretical concept of recursive program schemes. 1 Introduction A goal of Artificial…
Cited by 1 (1 self) – Add To MetaCart

Recursive Types in Kleisli Categories
by Alex K. Simpson — 1992 — Preprint 2004. MFPS Tutorial, April 2007 Classical Domain Theory 75/75
…Recursive Types in Kleisli Categories Alex K. Simpson Department of Computer Science, University…
Cited by 7 (2 self) – Add To MetaCart

Recursion Schemes from Comonads
by Tarmo Uustalu, Varmo Vene, Alberto Pardo — 2001
… and most fundamental recursion scheme. 4 T. UUSTALU, V. VENE, A. PARDO Category-theoretically, inductive…
Cited by 17 (3 self) – Add To MetaCart

Programming by Analogy: Retrieval, Mapping, Adaptation and Generalization of Recursive Program
by Ute Schmid Rene, Rene Mercy, Fritz Wysotzki — 1998 — In Proc. of the Annual Meeting of the GI Machine Learning Group, FGML-98
… on the notion of recursive program schemes (RPSs, see def. 1) [2]. The theoretical background and implementation…
Add To MetaCart

Programming by Analogy: Retrieval, Mapping, Adaptation and Generalization of Recursive Program
by Ute Schmid, René Mercy, Fritz Wysotzki — 1998 — In Proc. of the Annual Meeting of the GI Machine Learning Group, FGML-98
… on the notion of recursive program schemes (RPSs, see def. 1) [2]. The theoretical background and implementation…
Cited by 6 (6 self) – Add To MetaCart

Mathematics of Recursive Program Construction
by Henk Doornbos, Roland Backhouse — 2001
…. Section 6.3, on the other hand, provides theoretical support for the usefulness of hylo programs…
Cited by 4 (1 self) – Add To MetaCart

Origin Tracking in Primitive Recursive Schemes
by Arie Van Deursen — 1993 — Conference Proceedings Computing Science in the Netherlands CSN'93
…, programming environments, program generation, origin tracking, program schemes, primitive recursion. 1…
Cited by 1 (1 self) – Add To MetaCart

Profinite Solutions For Recursive Domain Equations
by Carl Gunter — 1985
…PROFINITE SOLUTIONS FOR RECURSIVE DOMAIN EQUATIONS Carl Gunter Carnegie-Mellon University…
Cited by 15 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB