|
197
|
Games and Full Completeness for Multiplicative Linear Logic
– Samson Abramsky, Radha Jagadeesan
- 1994
|
|
33
|
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
– G.M. Bierman, A. M. Pitts, C. V. Russo
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
|
128
|
Games and Full Abstraction for the Lazy lambda-calculus
– Samson Abramsky, Guy Mccusker
- 1995
|
|
9
|
A Note on Logical Relations Between Semantics and Syntax
– Andrew Pitts
- 1997
|
|
2
|
Towards program development, specification and verification with Isabelle
– Marek A. Bednarczyk, Tomasz Borzyszkowski
- 1995
|
|
42
|
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
– Abbas Edalat
- 1997
|
|
218
|
The Lazy Lambda Calculus
– Samson Abramsky
- 1990
|
|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
65
|
Full Abstraction for PCF (Extended Abstract)
– Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
- 1994
|
|
|
A Method to Evaluate the Performance of a Multiprocessor Machine based on Data Flow Principles
– Ranjniii Narayan, V. Rajaraman
|
|
|
Compiling Lazy Functional Languages: An introduction
– Thomas Johnsson
- 1987
|
|
|
SINAN: An Argument Forwarding Multithreaded Architecture
– Soner Onder, Rajiv Gupta
|
|
5
|
Parallel Functional Programming for Message-Passing Multiprocessors
– Gerald Ostheimer
- 1993
|
|
|
Execution Performance of the Scheduled Dataflow Architecture
– n.n.
|
|
24
|
Superscalar Execution With Dynamic Data Forwarding
– Soner Önder, Rajiv Gupta
- 1998
|
|
|
Imagining CLP(Λ,≡αβ)
– Olivier Ridoux
- 1995
|
|
|
Parametric Polymorphism for Typed Prolog and lambdaProlog
– Pascale Louvet, Olivier Ridoux
- 1996
|
|
|
Imagining
– Clp Olivier Ridoux, Olivier Ridoux, Olivier Ridoux, Projet Lande
|
