Institut for Datalogi

9 titler

Alle bøger

Hvorfor er der så få kvindelige datalogistuderende?

Lene Mejlby, Olivier Danvy
juli 4, 2017

A Formal Study of Moessner's Sieve

Peter Urbak, Olivier Danvy
juli 4, 2017

Singular Choices for Multiple Choice

Olivier Danvy, Martin E. K. Rasmussen
juni 22, 2017

2015 Workshop on Continuations: pre-proceedings

Olivier Danvy; Tristan Crolard, Jules Hedges, Neil Sculthorpe, Gabriel Kerneis, Hayo Thielecke, Serguei Lenglet, Yukiyoshi Kameyama, Alexis Saurin
april 10, 2015

From Outermost Reduction Semantics to Abstract Machine

Olivier Danvy, Jacob Johannsen
januar 27, 2015