Computer Science, Department of

9 Titles

All Books

A Formal Study of Moessner's Sieve

Peter Urbak, Olivier Danvy (Author)
July 4, 2017

Hvorfor er der så få kvindelige datalogistuderende?

Lene Mejlby, Olivier Danvy (Author)
July 4, 2017

An Analytical Approach to Programs as Data Objects

Olivier Danvy (Author)
July 3, 2017

Singular Choices for Multiple Choice

Olivier Danvy, Martin E. K. Rasmussen (Author)
June 22, 2017

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

Jacob Johannsen (Author)
May 7, 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 (Author)
May 7, 2015

Numerical Solution of Parabolic Equations

Ole Østerby (Author)
April 14, 2015

2015 Workshop on Continuations: pre-proceedings

Olivier Danvy (Volume editor); Tristan Crolard, Jules Hedges, Neil Sculthorpe, Gabriel Kerneis, Hayo Thielecke, Serguei Lenglet, Yukiyoshi Kameyama, Alexis Saurin (Chapter Author)
April 10, 2015

From Outermost Reduction Semantics to Abstract Machine

Olivier Danvy, Jacob Johannsen (Author)
January 27, 2015