Author of the publication

Distributed Computations Driven by Resource Consumption.

, and . ICCL, page 68-79. IEEE Computer Society, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack., and . WSA, volume 81-82 of Series Bigre, page 109-117. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Une Formalisation des Systèmes Conversationnels.. RAIRO Theor. Informatics Appl., 15 (4): 303-336 (1981)A Concurrent and Distributed Extension of Scheme.. PARLE, volume 605 of Lecture Notes in Computer Science, page 431-446. Springer, (1992)Fast and Compact Dispatching for Dynamic Object-Oriented Languages.. Inf. Process. Lett., 64 (6): 315-321 (1997)A multi-tier semantics for Hop., and . High. Order Symb. Comput., 23 (4): 409-431 (2010)Value Transforming Style.. WSA, volume 81-82 of Series Bigre, page 20-28. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Automatic Introduction of Mobility for Standard-Based Frameworks., , and . OTM Conferences (1), volume 3760 of Lecture Notes in Computer Science, page 813-827. Springer, (2005)Locality, Causality and Continuations.. LISP and Functional Programming, page 91-102. ACM, (1994)MOOC and Mechanized Grading.. CSEDU (2), page 241-245. SciTePress, (2014)A Dynamic Extent Control Operator for Partial Continuations., and . POPL, page 174-184. ACM Press, (1991)