Olivier Danvy

• Automatic program development
• Formal Modeling : Actors; Open Systems, Biological Systems
• Partial evaluation
• Programs as data objects
• Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming