Olle Fredriksson

According to our database, Olle Fredriksson authored at least 6 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Distributing abstract machines.

Olle Fredriksson

PhD thesis, 2015

2014

Distributed call-by-value machines.

Olle Fredriksson

CoRR, 2014

Towards native higher-order remote procedure calls.

Olle Fredriksson, Dan R. Ghica, Bertram Wheen

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Krivine nets: a semantic foundation for distributed execution.

Olle Fredriksson, Dan R. Ghica

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Abstract Machines for Game Semantics, Revisited.

Olle Fredriksson, Dan R. Ghica

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Seamless Distributed Computing from the Geometry of Interaction.

Olle Fredriksson, Dan R. Ghica

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012