| Abstracting control O Danvy, A Filinski Proceedings of the 1990 ACM Conference on LISP and Functional Programming …, 1990 | 549 | 1990 |
| Tutorial notes on partial evaluation C Consel, O Danvy Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 501 | 1993 |
| Representing Control O Danvy, A Filinski Mathematical Structures in Computer Science 2 (4), 361-391, 1992 | 432* | 1992 |
| Type-directed partial evaluation O Danvy Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996 | 332 | 1996 |
| 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 | 259* | 2003 |
| Defunctionalization at Work O Danvy, LR Nielsen Third International Conference on Principles and Practice of Declarative …, 2001 | 246 | 2001 |
| 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 | 221 | 1991 |
| A generic account of continuation-passing styles J Hatcliff, O Danvy Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 185 | 1994 |
| A functional abstraction of typed contexts O Danvy, A Filinski Univ., 1989 | 168 | 1989 |
| Back to direct style O Danvy Science of Computer Programming 22 (3), 183-195, 1994 | 149 | 1994 |
| Refocusing in reduction semantics O Danvy, LR Nielsen BRICS Report Series 11 (26), 2004 | 144* | 2004 |
| Partial evaluation of pattern matching in strings C Consel, O Danvy Information Processing Letters 30 (2), 79-86, 1989 | 144 | 1989 |
| For a better support of static data flow C Consel, O Danvy Functional Programming Languages and Computer Architecture: 5th ACM …, 1991 | 139 | 1991 |
| Continuation-based partial evaluation JL Lawall, O Danvy Proceedings of the 1994 ACM conference on Lisp and functional programming …, 1994 | 118 | 1994 |
| Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12-16, 1996: selected papers O Danvy, R Glück Springer, 1996 | 116* | 1996 |
| Thunks and the λ-calculus J Hatcliff, O Danvy Journal of Functional Programming 7 (3), 303-319, 1997 | 108* | 1997 |
| Static and dynamic semantics processing C Consel, O Danvy Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991 | 96 | 1991 |
| Back to direct style II: First-class continuations O Danvy, JL Lawall Proceedings of the 1992 ACM Conference on LISP and Functional Programming …, 1992 | 94 | 1992 |
| A concrete framework for environment machines M Biernacka, O Danvy ACM Transactions on Computational Logic (TOCL) 9 (1), 6-es, 2007 | 93 | 2007 |
| A computational formalization for partial evaluation J Hatcliff, O Danvy Mathematical structures in computer science 7 (5), 507-541, 1997 | 92 | 1997 |
Charles ConselProfessor of Computer Science, Bordeaux INP在 bordeaux-inp.fr 的电子邮件经过验证
