| Abstracting control O Danvy, A Filinski Proceedings of the 1990 ACM Conference on LISP and Functional Programming …, 1990 | 511 | 1990 |
| Tutorial notes on partial evaluation C Consel, O Danvy Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 464 | 1993 |
| Representing Control O Danvy, A Filinski Mathematical Structures in Computer Science 2 (4), 361-391, 1992 | 413 | 1992 |
| Type-directed partial evaluation O Danvy DIKU International Summer School, 367-411, 1998 | 321 | 1998 |
| A functional correspondence between evaluators and abstract machines MS Ager, D Biernacki, O Danvy, J Midtgaard Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 234* | 2003 |
| Refunctionalization at Work O Danvy, K Millikin Science of Computer Programming 74 (8), 534-549, 2009 | 217* | 2009 |
| Automatic autoprojection of recursive equations with global variables and abstract data types A Bondorf, O Danvy Science of computer programming 16 (2), 151-195, 1991 | 217 | 1991 |
| A generic account of continuation-passing styles J Hatcliff, O Danvy Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 167 | 1994 |
| A functional abstraction of typed contexts O Danvy, A Filinski Univ., 1989 | 161 | 1989 |
| Partial evaluation of pattern matching in strings C Consel, O Danvy Information Processing Letters 30 (2), 79-86, 1989 | 146 | 1989 |
| For a better support of static data flow C Consel, O Danvy Conference on Functional Programming Languages and Computer Architecture …, 1991 | 136 | 1991 |
| Refocusing in reduction semantics O Danvy, LR Nielsen BRICS Report Series 11 (26), 2004 | 135* | 2004 |
| Continuation-based partial evaluation JL Lawall, O Danvy Proceedings of the 1994 ACM conference on Lisp and functional programming …, 1994 | 116 | 1994 |
| Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12-16, 1996: selected papers O Danvy, R Glück Springer, 1996 | 108* | 1996 |
| Back to direct style O Danvy Science of Computer Programming 22 (3), 183-195, 1994 | 102 | 1994 |
| Thunks and the λ-calculus J Hatcliff, O Danvy Journal of Functional Programming 7 (3), 303-319, 1997 | 101* | 1997 |
| Static and dynamic semantics processing C Consel, O Danvy Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991 | 92 | 1991 |
| Functional unparsing O Danvy Journal of functional programming 8 (6), 621-625, 1998 | 89 | 1998 |
| Intensions and extensions in a reflective tower O Danvy, K Malmkjær Proceedings of the 1988 ACM Conference on LISP and Functional Programming …, 1988 | 88 | 1988 |
| A concrete framework for environment machines M Biernacka, O Danvy ACM Transactions on Computational Logic (TOCL) 9 (1), 6-es, 2007 | 87 | 2007 |
Charles ConselProfessor of Computer Science, Bordeaux INP, InriaVerified email at bordeaux-inp.fr
