Skip to search formSkip to main contentSkip to account menu

UCPH Department of Computer Science

Known as: Department of Computer Science (University of Copenhagen), Datalogisk Institut, Kobenhavns Universitet, University of Copenhagen Department of Computer Science 
The UCPH Department of Computer Science (Danish: Datalogisk Institut, DIKU) is a department under the Faculty of Science at University of Copenhagen… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Associate Professor Mari-Anne Zahl at Norges Teknisk-Naturvitenskapelige Universitet (NTNU) in Trondheim was in charge of the… 
Review
2001
Review
2001
Reading of electronic documents is becoming increasingly important as more information is disseminated electronically. We present… 
1998
1998
  • O. Danvy
  • Fuji International Symposium on Functional and…
  • 1998
  • Corpus ID: 5205279
In this experimental work, we extend type-directed partial evaluation (a.k.a. "reduction-free normalization" and "normalization… 
1996
1996
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the… 
1995
1995
We describe a new method for polymorphic type inference for the dynamically typed language Scheme. The method infers both types… 
Highly Cited
1994
Highly Cited
1994
Highly Cited
1994
Highly Cited
1994
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a…