David Teller

According to our database, David Teller authored at least 6 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml.

David Teller, Arnaud Spiwack, Till Varoquaux

Proceedings of the Implementation and Application of Functional Languages, 2008

2007

Towards a resource-safe Erlang.

David Teller

Proceedings of the 2007 International Symposium on Collaborative Technologies and Systems, 2007

2004

Ressources limitées pour la mobilité : utilisation, réutilisation, garanties. (Bounded mobile resources: use, reuse, guarantees).

David Teller

PhD thesis, 2004

Recovering Resources in the π-calculus.

David Teller

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Formalisms for mobile resource control.

David Teller

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

2002

Using Ambients to Control Resources.

David Teller, Pascal Zimmer, Daniel Hirschkoff

Proceedings of the CONCUR 2002, 2002