Back to Results
First PageMeta Content



Towards a native higher-order RPC Olle Fredriksson Dan R. Ghica Bertram Wheen
Add to Reading List

Document Date: 2015-03-04 15:20:42

Open Document

File Size: 340,26 KB

Share Result on Facebook

Company

DCESH (3.5) Networks / /

Facility

MPI library / RPC Olle Fredriksson Dan R. Ghica Bertram Wheen University of Birmingham / /

IndustryTerm

static networks / function applications / printing results / client server / asynchronous network / asynchronous networks / run-time infrastructure / synchronous and asynchronous networks / degenerate network / heartbeat network / distributed computing / simpler synchronous networks / communication protocols / computing / synchronous network / transition systems / helpful tool / similar solutions / /

Organization

U.S. Securities and Exchange Commission / University of Birmingham / /

Person

H ASKELL / Agda / F LOSKEL / /

/

Position

interactive proof assistant / model / proof assistant / programmer / General / /

Product

be- 12 / /

ProgrammingLanguage

Haskell / Erlang / C / ML / /

Technology

functional programming / load balancing / simulation / communication protocols / /

SocialTag