Institut for Datalogi

9 titler

Alle bøger

A Formal Study of Moessner's Sieve

Peter Urbak, Olivier Danvy (Forfatter)
4 juli 2017

Hvorfor er der så få kvindelige datalogistuderende?

Lene Mejlby, 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

Olivier Danvy (Bindredaktør); Tristan Crolard, Jules Hedges, Neil Sculthorpe, Gabriel Kerneis, Hayo Thielecke, Serguei Lenglet, Yukiyoshi Kameyama, Alexis Saurin (Kapitelforfatter)
10 april 2015

From Outermost Reduction Semantics to Abstract Machine

Olivier Danvy, Jacob Johannsen (Forfatter)
27 januar 2015