Institut for Datalogi

9 titler

Alle bøger

Hvorfor er der så få kvindelige datalogistuderende?

Lene Mejlby, Olivier Danvy (Forfatter)
4 juli 2017

A Formal Study of Moessner's Sieve

Peter Urbak, Olivier Danvy (Forfatter)
4 juli 2017

An Analytical Approach to Programs as Data Objects

Olivier Danvy (Forfatter)
3 juli 2017

Singular Choices for Multiple Choice

Olivier Danvy, Martin E. K. Rasmussen (Forfatter)
22 juni 2017

On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction

Jacob Johannsen (Forfatter)
7 maj 2015

A Case Study in Modular Programming: Using AspectJ and OCaml in an Undergraduate Compiler Project

Aske Simon Christensen, Jan Midtgaard, Johnni Winther, Ian Zerny (Forfatter)
7 maj 2015

Numerical Solution of Parabolic Equations

Ole Østerby (Forfatter)
14 april 2015

2015 Workshop on Continuations: pre-proceedings

10 april 2015

From Outermost Reduction Semantics to Abstract Machine

Olivier Danvy, Jacob Johannsen (Forfatter)
27 januar 2015