Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Wansbrough, Keith"'
Autor:
Bishop, Steve, Fairbairn, Matthew, Mehnert, Hannes, Norrish, Michael, Ridge, Tom, Sewell, Peter, Smith, Michael, Wansbrough, Keith
Publikováno v:
Journal of the ACM; Jan2019, Vol. 66 Issue 1, p1-77, 77p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sewell, Peter, Leifer, James J., Wansbrough, Keith, Allen-Williams, Mair, Zappa Nardelli, Francesco, Habouzit, Pierre, Vafeiadis, Viktor
Publikováno v:
[Research Report] RR-5329, INRIA. 2004, pp.193
This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we have defined and implemented. Acute extends an OCaml core to support distributed dev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ea49143146cd98e816d5180589873515
https://hal.inria.fr/inria-00070671
https://hal.inria.fr/inria-00070671
Publikováno v:
ACM / SIGPLAN Notices; Sep2014, Vol. 38 Issue 9, p87-98, 12p
Publikováno v:
ACM / SIGPLAN Notices; Sep2014, Vol. 38 Issue 9, p99-110, 12p
Autor:
Bishop, Steve, Fairbairn, Matthew, Norrish, Michael, Sewell, Peter, Smith, Michael, Wansbrough, Keith
Publikováno v:
Conference Record of the 33rd ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/11/2006, p55-66, 12p
Autor:
Sewell, Peter, Leifer, James J., Wansbrough, Keith, Nardelli, Francesco Zappa, Allen-Williams, Mair, Habouzit, Pierre, Vafeiadis, Viktor
Publikováno v:
Proceedings of the Tenth ACM SIGPLAN International Conference: Functional Programming; 9/26/2005, p15-26, 12p
Autor:
Bishop, Steve, Fairbairn, Matthew, Norrish, Michael, Sewell, Peter, Smith, Michael, Wansbrough, Keith
Publikováno v:
Proceedings of the 2005 Conference: Applications, Technologies, Architectures & Protocols for Computer Communications; 8/22/2005, p265-276, 12p
Publikováno v:
Proceedings of the Eighth ACM SIGPLAN International Conference: Functional Programming; 8/25/2003, p87-98, 12p