Olle Fredriksson

Towards a native higher-order RPC

D. Ghica, Olle Fredriksson, Bertram Wheen, 2014 .

University of Birmingham Towards native higher-order remote procedure calls

Olle Fredriksson, Bertram Wheen, 2015 .

Compilation using abstract machines for game semantics

Olle Fredriksson, 2013 .

Towards native higher-order remote procedure calls

Dan R. Ghica, Olle Fredriksson, Bertram Wheen, 2014, IFL.

Abstract Machines for Game Semantics, Revisited

Dan R. Ghica, Olle Fredriksson, D. Ghica, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

A totaly Epic backend for Agda

Daniel Gustafsson, Olle Fredriksson, Daniel Gustafsson, 2011 .