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
: Year, type and 1st 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
1998
Book anthology
Danvy, O.
& Dybjer, P. (Eds.) (1998).
Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation
. Department of Computer Science, Aarhus University. BRICS No. NS-98-1
1998
Contribution to journal
Kim, J., Yi, K.
& Danvy, O.
(1998).
Assessing the Overhead of ML Exceptions by Selective CPS Transformation
.
B R I C S Report Series
, (RS-98-15).
Danvy, O.
, Glück, R. & Thiemann, P. (1998).
1998 Symposium on Partial Evaluation
.
A C M Computing Surveys
,
30
(3).
https://doi.org/10.1145/292469.293684
Danvy, O.
(1998).
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
.
B R I C S Report Series
, (RS-98-2).
Danvy, O.
& Yang, Z. (1998).
An Operational Investigation of the CPS Hierarchy
.
B R I C S Report Series
, (RS-98-35).
Danvy, O.
(1998).
A Simple Solution to Type Specialization
.
B R I C S Report Series
, (RS-98-1).
Danvy, O.
& Rhiger, M. (1998).
Compiling Actions by Partial Evaluation, Revisited
.
B R I C S Report Series
, (RS-98-13).
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.
& 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.
(1998).
Type-Directed Partial Evaluation
.
BRICS Lecture Series
, (LS-98-3).
1997
Contribution to book anthology
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.
& 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
1997
Contribution to journal
Hatcliff, J.
& Danvy, O.
(1997).
A computational formalization for partial evaluation
.
Mathematical Structures in Computer Science
,
7
(5), 507-541.
https://doi.org/10.1017/S0960129597002405
Hatcliff, J.
& Danvy, O.
(1997).
Thunks and the λ-calculus
.
Journal of Functional Programming
,
7
(3), 303-319.
Hatcliff, J.
& Danvy, O.
(1997).
Thunks and the λ-calculus
.
B R I C S Report Series
, (RS-97-7).
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.
(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
.
Higher-Order and Symbolic Computation
,
10
(2), 101-111.
https://doi.org/10.1023/A:1007736916360
Danvy, O.
& Goldberg, M. (1997).
Partial Evaluation of the Euclidian Algorithm
.
B R I C S Report Series
, (RS-97-1).
Balat, V.
& Danvy, O.
(1997).
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
.
B R I C S Report Series
, (RS-97-43).
1996
Contribution to book anthology
Danvy, O.
(1996).
Décompilation de lambda-interprètes
. In
JFLA '96 - Journées Francophones des Langages Applicatifs
(Vol. 15)
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.
1996
Book anthology
Danvy, O.
, Glück, R. & Thiemann, P. (Eds.) (1996).
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
. Springer. Lecture Notes in Computer Science Vol. 1110
https://doi.org/10.1007/3-540-61580-6
Danvy, O. (Ed.)
(1996).
Proceedings of the Second ACM SIGPLAN Workshop on Continuations. CW '97
. Department of Computer Science, Aarhus University. BRICS No. NS-96-13
1996
Contribution to journal
Hatcliff, J.
& Danvy, O.
(1996).
A computational formalization for partial evaluation
.
B R I C S Report Series
,
RS-96-34
.
Hatcliff, J.
& Danvy, O.
(1996).
Thunks and the λ-calculus
.
B R I C S Report Series
, (RS-96-19).
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.
, Malmkjær, K.
& Palsberg, J.
(1996).
Eta-expansion does The Trick
.
ACM Transactions on Programming Langauges and Systems (TOPLAS)
,
18
(6), 730-751.
https://doi.org/10.1145/236114.236119
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.
& Malmkjær, K. (1996).
On the Idempotence of the CPS Transformation
.
B R I C S Report Series
, (RS-96-14).
Danvy, O.
(1996).
Pragmatic Aspects of Type-Directed Partial Evaluation
.
B R I C S Report Series
, (RS-96-15).
Danvy, O.
, Hentze, N. & Malmkjær, K. (1996).
Resource-bounded partial evaluation
.
A C M Computing Surveys
,
28
(2), 329-332.
https://doi.org/10.1145/234528.234741
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.
, 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.
(1995).
The essence of eta-expansion in partial evaluation
.
Higher-Order and Symbolic Computation
,
8
(3), 209-227.
https://doi.org/10.1007/BF01019004
Displaying results
401 to 439
out of
439
Previous
1
2
3
4
5
6
7
8
9
Faculty
Magnus
Madsen
Assistant Professor
M
magnusm@cs.au.dk
Andreas
Pavlogiannis
Associate Professor
M
pavlogiannis@cs.au.dk
Revised 17.04.2023
-
Sofia Hedegaard Rasmussen
