Olivier Danvy
TitleCited byYear
Tutorial notes on partial evaluation
C Consel, O Danvy
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
4381993
Abstracting control
O Danvy, A Filinski
Proceedings of the 1990 ACM conference on LISP and functional programming …, 1990
4381990
Representing Control
O Danvy, A Filinski
Mathematical Structures in Computer Science 2 (4), 361-391, 1992
3791992
Type-directed partial evaluation
O Danvy
DIKU International Summer School, 367-411, 1998
3101998
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
2101991
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
204*2003
Refunctionalization at Work
O Danvy, K Millikin
Science of Computer Programming 74 (8), 534-549, 2009
187*2009
Early sexual abuse, street adversity, and drug use among female homeless and runaway adolescents in the Midwest
X Chen, KA Tyler, LB Whitbeck, DR Hoyt
Journal of drug issues 34 (1), 1-21, 2004
181*2004
A generic account of continuation-passing styles
J Hatcliff, O Danvy
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
1541994
A functional abstraction of typed contexts
O Danvy, A Filinski
Univ., 1989
1361989
For a better support of static data flow
C Consel, O Danvy
Conference on Functional Programming Languages and Computer Architecture …, 1991
1271991
Partial evaluation of pattern matching in strings
C Consel, O Danvy
Information Processing Letters 30 (2), 79-86, 1989
1261989
Refocusing in reduction semantics
O Danvy, LR Nielsen
BRICS Report Series 11 (26), 2004
119*2004
Continuation-based partial evaluation
JL Lawall, O Danvy
ACM SIGPLAN Lisp Pointers 7 (3), 227-238, 1994
1071994
Thunks and the λ-calculus
J Hatcliff, O Danvy
Journal of Functional Programming 7 (3), 303-319, 1997
94*1997
Partial evaluation
O Danvy, J Hatcliff
John Wiley and Sons Ltd., 2003
91*2003
Back to direct style
O Danvy
Science of Computer Programming 22 (3), 183-195, 1994
911994
Static and dynamic semantics processing
C Consel, O Danvy
POPL 91 (36), 14-24, 1991
871991
Functional unparsing
O Danvy
Journal of functional programming 8 (6), 621-625, 1998
831998
Intensions and extensions in a reflective tower
O Danvy, K Malmkjaer
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
831988
The system can't perform the operation now. Try again later.
Articles 1–20