Active Bibliography

19 On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
8 A Classical Linear λ-calculus – G.M. Bierman - 1997
96 How to Declare an Imperative – Philip Wadler - 1995
6 A New Framework for Declarative Programming – Stacy E. Finkelstein, Peter Freyd, James Lipton - 2001
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
1 Cause and Effect: Type Systems for Effects and Dependencies – Geoffrey Washburn - 2005
23 Intuitionistic Necessity Revisited – G. M. Bierman, V.C.V. de Paiva - 1996
20 Algebra of logic programming – Silvija Seres - 1999
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
5 Categorical Glueing and Logical Predicates for Models of Linear Logic – Masahito Hasegawa - 1999
10 A Categorical Analysis of Multi-Level Languages (Extended Abstract) – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
4 Categories for Computation in Context and Unified Logic: The "Intuitionist" Case – R. F. Blute, J.R.B. Cockett, R.A.G. Seely - 1997
Discrete Mathematics for Computer Science Some Notes – Jean Gallier, C Jean Gallier, Jean Gallier
Some Notes – Jean H. Gallier, Jean Gallier, C Jean Gallier, Jean Gallier
3 Embracing Windows – Colin J. Taylor - 1996
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
2 Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions – Norman Ramsey - 1999