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
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
37 Hayes-Roth (Eds.), Pattern-directed inference systems – Waterman, F
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
130 Representing Monads – Andrzej Filinski - 1994
21 Toposes, Triples and Theories, volume 278 of Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles Wells - 1985
4 Corrections to Toposes, Triples and Theories. Available by anonymous FTP from triples.math.mcgill.ca in directory pub/barr – Michael Barr, Charles Wells - 1993
754 Soar: An architecture for general intelligence – J E Laird, A Newell, P S Rosenbloom - 1987
1305 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 - 1977
1393 Unified Theories of Cognition – Allen Newell - 1990
718 The knowledge level – A Newell - 1982
83 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
147 Language and Memory – Roger C. Schank - 1980