David Teller

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Claude Bernard University Lyon 1, France (PHD)

Education History

Claude Bernard University Lyon 1, France

PHD

Publications

David Teller, Arnaud Spiwack, Till Varoquaux
Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml. IFL (2008)
David Teller
Towards a resource-safe Erlang. CTS (2007)
David Teller, Pascal Zimmer, Daniel Hirschkoff
Using ambients to control resources. Int. J. Inf. Sec. 2 (3-4) (2004)
David Teller
Recovering Resources in the π-calculus. IFIP TCS (2004)
David Teller
Formalisms for mobile resource control. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)
David Teller, Pascal Zimmer, Daniel Hirschkoff
Using Ambients to Control Resources. CONCUR (2002)