Obserwuj
Olivier Danvy
Olivier Danvy
Yale-NUS College and School of Computing, National University of Singapore
Zweryfikowany adres z yale-nus.edu.sg - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Abstracting control
O Danvy, A Filinski
Proceedings of the 1990 ACM Conference on LISP and Functional Programming …, 1990
5491990
Tutorial notes on partial evaluation
C Consel, O Danvy
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
4991993
Representing Control
O Danvy, A Filinski
Mathematical Structures in Computer Science 2 (4), 361-391, 1992
438*1992
Type-directed partial evaluation
O Danvy
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996
3321996
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
260*2003
Defunctionalization at Work
O Danvy, LR Nielsen
Third International Conference on Principles and Practice of Declarative …, 2001
2562001
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
2201991
A generic account of continuation-passing styles
J Hatcliff, O Danvy
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
1871994
A functional abstraction of typed contexts
O Danvy, A Filinski
Univ., 1989
1721989
Back to direct style
O Danvy
Science of Computer Programming 22 (3), 183-195, 1994
1511994
Partial evaluation of pattern matching in strings
C Consel, O Danvy
Information Processing Letters 30 (2), 79-86, 1989
1481989
Refocusing in reduction semantics
O Danvy, LR Nielsen
BRICS Report Series 11 (26), 2004
145*2004
For a better support of static data flow
C Consel, O Danvy
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
1381991
Continuation-based partial evaluation
JL Lawall, O Danvy
Proceedings of the 1994 ACM conference on Lisp and functional programming …, 1994
1201994
Pragmatics of type-directed partial evaluation
O Danvy
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005
115*2005
Thunks and the λ-calculus
J Hatcliff, O Danvy
Journal of Functional Programming 7 (3), 303-319, 1997
112*1997
Static and dynamic semantics processing
C Consel, O Danvy
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
971991
Back to direct style II: First-class continuations
O Danvy, JL Lawall
Proceedings of the 1992 ACM Conference on LISP and Functional Programming …, 1992
961992
An operational foundation for delimited continuations in the CPS hierarchy
M lgorzata Biernacka, D Biernacki, O Danvy
Logical Methods in Computer Science 1 (2:5), 1-39, 2005
93*2005
A concrete framework for environment machines
M Biernacka, O Danvy
ACM Transactions on Computational Logic (TOCL) 9 (1), 6-es, 2007
922007
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20