Institut for Datalogi

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