Olivier Danvy

Formal Modeling : Actors; Open Systems, Biological Systems

2012

Proceedings of the 2012 Annual

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming

2012

Automatic program development

2008

Partial evaluation

1996