Olivier Danvy
4 published titles
Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540420681
- Springer
- 2001
- Details
Proceedings of the APPSEM-II Workshop on the Krivine and ZINC Abstract Machines (KAZAM)
(Contributor)
1 edition
- School of Computer Science, University of Birmingham
- 2006
- Details
Automatic program development : a tribute to Robert Paige
(Contributor)
1 edition
- ISBN: 9781402065859
- Springer
- 2008
- Details
Formal modeling : actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
(Contributor)
1 edition
- ISBN: 9783642249327
- Springer
- 2011
- Details
