BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Sweden
2 × USA
Collaborated with:
D.R.Ghica B.Wheen
Talks about:
semant (2) distribut (1) procedur (1) abstract (1) revisit (1) foundat (1) toward (1) machin (1) krivin (1) higher (1)

Person: Olle Fredriksson

DBLP DBLP: Fredriksson:Olle

Contributed to:

ICFP 20142014
IFL 20142014
LICS 20132013

Wrote 3 papers:

ICFP-2014-FredrikssonG #distributed #execution #semantics
Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
IFL-2014-FredrikssonGW #higher-order #towards
Towards native higher-order remote procedure calls (OF, DRG, BW), p. 10.
LICS-2013-FredrikssonG #automaton #game studies #revisited #semantics
Abstract Machines for Game Semantics, Revisited (OF, DRG), pp. 560–569.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.