Olle Fredriksson, Dan R. Ghica
Krivine nets: a semantic foundation for distributed execution
ICFP, 2014.
@inproceedings{ICFP-2014-FredrikssonG, author = "Olle Fredriksson and Dan R. Ghica", booktitle = "{Proceedings of the 19th International Conference on Functional Programming}", doi = "10.1145/2628136.2628152", editor = "Johan Jeuring and Manuel M. T. Chakravarty", isbn = "978-1-4503-2873-9", pages = "349--361", publisher = "{ACM}", title = "{Krivine nets: a semantic foundation for distributed execution}", year = 2014, }