MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Acute High-level programming language design for distributed computation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Acute: High-level programming language design for distributed computation
by Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis — 2004 — In Proc. ICFP
…Acute: High-Level Programming Language Design for Distributed Computation Peter Sewell ∗ James J…
Cited by 34 (10 self) – Add To MetaCart

Communication-cEntric Software
by Vasco T. Vasconcelos, Nobuko Yoshida, Vasco T. Vasconcelos, Nobuko Yoshida — 2008
…. Acute: high-level programming language design for distributed computation. In In Proc. ICFP, pages 15…
Add To MetaCart

Metatheory and Operational Reasoning: Real Languages and Executable Code
by Previous Track Record, Tom Ridge — 2006
…, and Viktor Vafeiadis. Acute: high-level programming language design for distributed computation. ACM SIGPLAN…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB