Monadic Style Control Constructs For Inference Systems (2002)

Cached

Download Links

by Jean-Marie Chauvet
Citations:2 - 1 self

Documents Related by Co-Citation

13 A Library of High Level Control Operators – Christian Queinnec - 1993
4 Direct models for the computational lambda calculus – C Fhrmann - 2000
4 Symbolic knowledge processing for he acquisition of expert behavior: A study in medicine – Alain Rappaport, Jean-Marie C Chauvet - 1984
49 Controlling Effects – Andrzej Filinski - 1996
35 Monads and Composable Continuations – Philip Wadler - 1993
14 On Exceptions versus Continuations in the Presence of State – Hayo Thielecke - 2000
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
84 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
37 Hayes-Roth (Eds.), Pattern-directed inference systems – Waterman, F
756 SOAR: An architecture for general intelligence – J E Laird, A Newell, P S Rosenbloom - 1987
1312 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
1397 Unified theories of cognition – A Newell - 1990
719 Reflections on the Knowledge Level – A Newell - 1993
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
130 Representing Monads – Andrzej Filinski - 1994
148 Language and Memory – Roger C. Schank - 1980
21 Toposes, Triples and Theories, volume 278 of Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles Wells - 1985