|
|
Mathematics of Multisets Apostolos Syropoulos
– Department Of Civil, Apostolos Syropoulos
- 2001
|
|
5
|
Probabilistic Relations
– Prakash Panangaden
- 1998
|
|
23
|
On Köthe sequence spaces and linear logic
– Thomas Ehrhard
- 2001
|
|
2
|
The Scott model of Linear Logic is the extensional collapse of its relational model
– Thomas Ehrhard
- 2011
|
|
1
|
On probabilistic coherence spaces
– Vincent Danos, Thomas Ehrhard
- 2008
|
|
30
|
The Differential Lambda-Calculus
– Thomas Ehrhard, Laurent Regnier
- 2001
|
|
22
|
Nuclear and Trace Ideals in Tensored *-Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
- 1998
|
|
8
|
Discrete Quantum Causal Dynamics
– Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden
- 2003
|
|
|
Foundations for Partial Evaluation of Functional Languages with Computational Effects
– John Hatcliff
|
|
|
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis
– Fuse Memo, Erik Ruf, Daniel Weise
|
|
|
Reasoning with Continuations III: A Complete Calculus of Control
– Amr Sabry, Matthias Felleisen
- 1992
|
|
|
A Semantic Model of Binding Times for Safe Partial Evaluation
– Fritz Henglein David, David Sands
|
|
|
Continuation Sensitive Compilation
– Christian Queinnec
|
|
|
I R I S a
– Campus Universitaire De, Charles Consel, Luke Hornof, Franc Ois Noe, Jacques Noye, Projet Lande
- 1995
|
|
1
|
Foundations for Partial Evaluation of Functional Programs with Computational Effects
– John Hatcliff
- 1998
|
|
2
|
Towards efficient partial evaluation
– Karoline Malmkjær
- 1993
|
|
4
|
Experiments in Program Compilation by Interpreter Specialization
– Scott Thibault, Laurent Bercot, Charles Consel, Renaud Marlet, Gilles Muller, Julia Lawall
- 1998
|
|
6
|
Correctness of a Region-Based Binding-Time Analysis
– Peter J. Thiemann
- 1997
|
|
4
|
Polymorphic Specialization for ML
– Simon Helsen, Peter Thiemann
- 2002
|
