Aarhus University logo
Find
For students
For PhDs
For employees
Local study portal
Computer Science
IT Product Development
Local PhD portal
Application Guide
Computer Science
Pages for all PhD students
phd.au.dk
Local staff information
Department of Computer Science
Pages for staff members at AU
medarbejdere.au.dk/en/
Department of
Computer Science
About Us
Strategy
Anniversary
Organisation
Honorary doctor and professors
Vacancies
Code of Conduct
Research
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Security
Logic and Semantics
Programming Languages
Ubiquitous Computing and Interaction
Bioinformatics
Use, Design and Innovation
Modelling and Validation of Distributed Systems
Centers
Publications
PhD Studies
Education
Studievalg
Bachelor
Master
PhD
Continuing education
Study environment
ALICE
Mød vores kandidater
Graduation at Department of Computer Science
ChomskyLab
Business Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
Continuing Education
CS Alumni
News & Events
News
Events
CS Colloquium
Camps and Competitions
Contact
Management and Heads of Research
Researchers
All employees
For the press
Gymnasiesamarbejde
Department of Computer Science
Research
Programming Languages
Publications
Research
Algorithms, Data Structures and Foundations of Machine Learning
Collaboration and Computer-Human Interaction
Computational Complexity and Game Theory
Data-Intensive Systems
Cryptography and Security
Logic and Semantics
Programming Languages
Projects
People
Publications
Ubiquitous Computing and Interaction
Bioinformatics
Use, Design and Innovation
Modelling and Validation of Distributed Systems
Centers
Publications
PhD Studies
Publications
Sort by
: Author
Sort by
Author
Date
Title
Type
Type and 1st author
Year
Year and 1st author
Year, type and 1st author
Sort in
Ascending order
Descending order
Danvy, O.
& Nielsen, L. R. (2001).
CPS Transformation of Beta-Redexes
. In
Proceedings of the Third ACM SIGPLAN Workshop on Continuations
Danvy, O.
& Rhiger, M. (1997).
Compiling Actions by Type-Directed Partial Evaluation
. In
Proceedings of the Nordic Workshop on Programming Theory. NWPT'97
Danvy, O.
& Nielsen, L. R. (2001).
Defunctionalization at Work
. In
roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
(pp. 162-174). Association for Computing Machinery.
https://doi.org/10.1145/773184.773202
Danvy, O.
(1996).
Décompilation de lambda-interprètes
. In
JFLA '96 - Journées Francophones des Langages Applicatifs
(Vol. 15)
Danvy, O.
(2000).
Formalizing Implementation Strategies for First-Class Continuations
. In G. Smolka (Ed.),
Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
(pp. 88-103). Springer.
https://doi.org/10.1007/3-540-46425-5_6
Danvy, O.
& Rose, K. H. (1998).
Higher-order rewriting and partial evaluation
. In T. Nipkow (Ed.),
Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings
(pp. 286-301). Springer.
https://doi.org/10.1007/BFb0052377
Danvy, O.
& Schultz, U. P.
(1997).
Lambda-dropping: transforming recursive equations into programs with block structure
. In
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
(pp. 90-106). Association for Computing Machinery.
https://doi.org/10.1145/258993.259007
Danvy, O.
, Dzafic, B. & Pfenning, F. (1999).
On proving syntactic properties of CPS programs
.
Electronic Notes in Theoretical Computer Science
,
26
, 21-33.
https://doi.org/10.1016/S1571-0661(05)80281-6
Danvy, O.
(1998).
Online Type-Directed Partial Evaluation
. In
Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming
(pp. 271-295)
Danvy, O.
(1996).
Pragmatics of type-directed partial evaluation
. In O. Danvy, R. Glück & P. Thiemann (Eds.),
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
(pp. 73-94). Springer.
https://doi.org/10.1007/3-540-61580-6_5
Danvy, O.
& Vestergaard, R. (1996).
Semantics-based compiling: A case study in type-directed partial evaluation
. In H. Kuchen & S. D. Swierstra (Eds.),
Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings
(pp. 182-197). Springer.
https://doi.org/10.1007/3-540-61756-6_85
Danvy, O.
(1996).
Type-Directed Partial Evaluation
. In
Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium
(pp. 242-257). Association for Computing Machinery.
Danvy, O.
& Nielsen, L. R. (2000).
A Higher-Order Colon Translation
.
B R I C S Report Series
, (RS-00-33).
Danvy, O.
(2002).
A Lambda-Revelation of the SECD Machine
.
B R I C S Report Series
, (RS-02-53).
Danvy, O.
(2003).
A Rational Deconstruction of Landin's SECD Machine
.
B R I C S Report Series
, (RS-03-33).
Danvy, O.
(1998).
A Simple Solution to Type Specialization
.
B R I C S Report Series
, (RS-98-1).
Danvy, O.
& Rhiger, M. (2000).
A Simple Take on Typed Abstract Syntax in Haskell-Like Languages
.
B R I C S Report Series
, (RS-00-34).
Danvy, O.
, Grobauer, B. & Rhiger, M. (2001).
A Unifying Approach to Goal-Directed Evaluation
.
B R I C S Report Series
, (RS-01-29).
Danvy, O.
(1998).
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
.
B R I C S Report Series
, (RS-98-2).
Danvy, O.
(1999).
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
.
B R I C S Report Series
, (RS-99-21).
Danvy, O.
& Yang, Z. (1998).
An Operational Investigation of the CPS Hierarchy
.
B R I C S Report Series
, (RS-98-35).
Danvy, O.
& Lawall, J. (1996).
Back to Direct Style II: First-Class Continuations
.
B R I C S Report Series
, (RS-96-20).
Danvy, O.
& Nielsen, L. R. (2000).
CPS Transformation of Beta-Redexes
.
B R I C S Report Series
, (RS-00-35).
Danvy, O.
& Rhiger, M. (1998).
Compiling Actions by Partial Evaluation, Revisited
.
B R I C S Report Series
, (RS-98-13).
Danvy, O.
& Nielsen, L. R. (2001).
Defunctionalization at Work.
B R I C S Report Series
, (RS-01-23).
Danvy, O.
, Malmkjær, K.
& Palsberg, J.
(1995).
Eta-Expansion Does The Trick
.
B R I C S Report Series
, (RS-95-41).
Danvy, O.
, Malmkjær, K.
& Palsberg, J.
(1996).
Eta-Expansion Does The Trick
.
B R I C S Report Series
, (RS-96-17).
Danvy, O.
(1999).
Formalizing Implementation Strategies for First-Class Continuations
.
B R I C S Report Series
, (RS-99-51).
Danvy, O.
(1998).
Formatting Strings in ML
.
B R I C S Report Series
, (RS-98-5).
Danvy, O.
(1998).
Functional Unparsing
.
B R I C S Report Series
, (RS-98-12).
Danvy, O.
& Rose, K. H. (1997).
Higher-Order Rewriting and Partial Evaluation
.
B R I C S Report Series
, (RS-97-46).
Danvy, O.
& Schultz, U. P.
(1997).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-97-6).
Danvy, O.
& Schultz, U. P.
(1998).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-98-54).
Danvy, O.
& Schultz, U. P.
(1999).
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
.
B R I C S Report Series
, (RS-99-27).
Danvy, O.
& Schultz, U. P.
(2002).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-02-30).
Danvy, O.
& Schultz, U. P.
(2003).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-03-26).
Danvy, O.
& Schultz, U. P.
(2004).
Lambda-Lifting in Quadratic Time
.
B R I C S Report Series
, (RS-04-12).
Danvy, O.
, Dzafic, B. & Pfenning, F. (1999).
On proving syntactic properties of CPS programs
.
B R I C S Report Series
, (RS-99-23).
Danvy, O.
& Malmkjær, K. (1996).
On the Idempotence of the CPS Transformation
.
B R I C S Report Series
, (RS-96-14).
Danvy, O.
(1997).
Online Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-97-53).
Danvy, O.
& Goldberg, M. (1997).
Partial Evaluation of the Euclidian Algorithm
.
B R I C S Report Series
, (RS-97-1).
Danvy, O.
(1996).
Pragmatic Aspects of Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-96-15).
Danvy, O.
& Vestergaard, R. (1996).
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-96-13).
Danvy, O.
& Lopez, P. E. M. (2003).
Tagging, Encoding, and Jones Optimality
.
B R I C S Report Series
, (RS-03-2).
Danvy, O.
& Goldberg, M. (2002).
There and Back Again
.
B R I C S Report Series
, (RS-02-12).
Danvy, O.
(1998).
Type-Directed Partial Evaluation
.
BRICS Lecture Series
, (LS-98-3).
Danvy, O.
& Midtgaard, J.
(2011).
Abstracting abstract machines: technical perspective
.
Association for Computing Machinery. Communications
,
54
(9), 100-100.
https://doi.org/10.1145/1995376.1995399
Danvy, O.
(2011).
Pragmatics for formal semantics
. In
Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering
(pp. 93-94). Association for Computing Machinery.
https://doi.org/10.1145/2047862.2047878
Danvy, O.
& Shan, C. (Eds.) (2011).
Proceedings IFIP Working Conference on Domain-Specific Languages
.
https://doi.org/10.4204/EPTCS.66
Danvy, O.
& Zerny, I.
(2013).
Three Syntactic Theories for Combinatory Graph Reduction
.
A C M Transactions on Computational Logic
,
14
(4), Article 29.
https://doi.org/10.1145/2528932
Displaying results
201 to 250
out of
444
Previous
1
2
3
4
5
6
7
8
9
Next
Faculty
Magnus
Madsen
Associate Professor
M
magnusm@cs.au.dk
Andreas
Pavlogiannis
Associate Professor
M
pavlogiannis@cs.au.dk
Revised 17.04.2023
-
Sofia Hedegaard Rasmussen