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
Welcome to new colleagues at CS
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 programmes
Master
PhD
Continuing education
Study environment
ALICE
CS Alumni
Meet our graduates
Graduation at Department of Computer Science
ChomskyLab
Collaboration
Research Collaboration
Student Collaboration
CS Business Club
Business Committee
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
: Date
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
Hatcliff, J.
& Danvy, O.
(1996).
Thunks and the λ-calculus
.
B R I C S Report Series
, (RS-96-19).
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.
, 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
451 to 454
out of
454
Previous
1
2
3
4
5
6
7
8
9
10
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