Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Teller, David - Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans
Using Ambients to Control Resources David Teller 1 , Pascal Zimmer 2 , and Daniel Hirschko 1
Using Ambients to Control Resources (short abstract)
Laboratoire de l'Informatique du Parall elisme Ecole Normale Superieure de Lyon
A -calculus with limited resources, garbage-collection and guarantees
Laboratoire de l'Informatique du Parall elisme Ecole Normale Superieure de Lyon
OpenBerg e-Book Reader design and rationale
2FOL : pour verifier les contraintes enti`eres sans dependre de l'algorithme.
Recovering resources in the -calculus David Teller David.Teller@ens-lyon.fr
Evaluation et typage dans le cadre du calcul des David Teller, MIM 98
Electronic Notes in Theoretical Computer Science 85 No. 1 (2004) URL: http://www.elsevier.nl/locate/entcs/volume85.html 25 pages
Recovering resources in the -calculus technical annex (draft) David Teller
Resources, garbage-collection and the -calculus David Teller
Towards a Resource-Safe Erlang David Teller
Tec: a targettable/extendable -calculus (Work In Progress)
David Olivier Teller 81, rue Bourbonnoux
Towards a Resource-Safe David Teller
