Institut for Datalogi
9 titler
Hvorfor er der så få kvindelige datalogistuderende?
Lene Mejlby, Olivier Danvy (Forfatter)
A Formal Study of Moessner's Sieve
Peter Urbak, Olivier Danvy (Forfatter)
An Analytical Approach to Programs as Data Objects
Olivier Danvy (Forfatter)
Singular Choices for Multiple Choice
Olivier Danvy, Martin E. K. Rasmussen (Forfatter)
On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction
Jacob Johannsen (Forfatter)
A Case Study in Modular Programming: Using AspectJ and OCaml in an Undergraduate Compiler Project
Aske Simon Christensen, Jan Midtgaard, Johnni Winther (Forfatter) et al.
Numerical Solution of Parabolic Equations
Ole Østerby (Forfatter)
2015 Workshop on Continuations: pre-proceedings
Olivier Danvy (Bindredaktør); Tristan Crolard, Jules Hedges (Kapitelforfatter) et al.
From Outermost Reduction Semantics to Abstract Machine
Olivier Danvy, Jacob Johannsen (Forfatter)