Active Bibliography

39 Querying Nested Collections – Limsoon Wong - 1994
1 Automating Functional Program Transformation – Markus Mottl - 2000
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
6 A New Framework for Declarative Programming – Stacy E. Finkelstein, Peter Freyd, James Lipton - 2001
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
35 Semantic Lego – David Espinosa - 1995
260 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
111 Guarded Horn Clauses – Kazunori Ueda - 1986
88 Categorical Logic – Andrew M. Pitts - 1995
13 Polytypic Programming With Ease – Ralf Hinze - 1999
Scheduling Strategies for Evaluation of Recursive Queries over Memory and Disk-Resident Data – Juliana Freire de Lima e Silva, Juliana Freire, Lima Silva, Terrance Swift - 1997
7 Efficient Evaluation of Normal Logic Programs – Terrance Swift - 1994
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
9 Databases as Diagram Algebras: Specifying Queries and Views Via the Graph-Based Logic of Sketches – Zinovy Diskin - 1996
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000