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 (opens in a new tab)

Related topics

Related topics

1 relation
ACM Turing Award

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
PENGARUH GAYA BELAJAR TERHADAP PRESTASI BELAJAR MAHASISWA PROGRAM STUDI PENDIDIKAN MATEMATIKA INSTITUT AGAMA ISLAM MAARIF NAHDATUL ULAMA (IAIM NU) METRO
Gaya belajar merupakan salah satu faktor yang diduga mempengaruhi prestasi belajar (IPK) mahasiswa program studi Pendidikan… 
2014
2014
Lydmiljø i åpent kontorlandskap
Denne rapporten er et resultat av en masteroppgave ved Norges teknisk- naturvitenskapelige universitet (NTNU). Den tar sikte pa a… 
2009
2009
SPSC : a Simple Supercompiler in Scala ?
class Term case class Var(name: String) extends Term case class CFG(kind: TKind.Value, name: String, args: List[Term]) extends… 
2007
2007
PUSAT KEGIATAN BELAJAR MASYARAKAT (PKBM) KAWASAN SEKITAR KAMPUS INSTITUT TEKNOLOGI BANDUNG (ITB) MODEL PUSAT KEGIATAN BELAJAR MASYARAKAT (PKBM) BERBASIS TEKNOLOGI LOKASI PEMBUATAN MODEL PKBM DI…
Berita: Dalam rangka meningkatkan pemerataan/ perluasan akses terhadap pendidikan, peningkatan mutu dan relevansi pendidikan… 
2006
2006
Distributed Reactive XML
Review
1998
Review
1998
The complexity of simple subtyping systems
  • J. Rehof
  • Technical report / University of Copenhagen…
  • 1998
  • Corpus ID: 118567568
The main objective of this thesis is to understand why polymorphic subtype inference systems may be inherently di cult to scale… 
1996
1996
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
One of the remaining problems on the path towards fully automatic partial evaluation is ensuring termination of the… 
1994
1994
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
It is well known that self applicable partial evaluation can be used to generate compiler generators cogen mix mix mix where mix… 
1991
1991
Modular grammars for programming language prototyping
1981
1981
A Relationship between optimality and efficiency in multicriteria 0-1 programming problems
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)