*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 5*number_thousands_separator*784

1

Statically Safe Distributed Programming
Viering, Malte Christian ; Viering, Malte Christian

*Electronic Resource*
2

Statically Verified Refinements for Multiparty Protocols
Zhou, Fangyi ; Ferreira, Francisco ; Hu, Raymond ; et al.

Computer Science - Progr... Computer Science - Distr...
*Report*
4

Type-Safe Distributed Programming with ML5.
Murphy II, Tom ; Crary, Karl ; Harper, Robert
Trustworthy Global Computing (9783540786627); 2008, p108-123, 16p

*Book*
5

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Hou, Ping ; Lagaillardie, Nicolas ; Yoshida, Nobuko

Computer Science - Progr...
*Report*
7

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
Guerreiro, Miguel de Oliveira

Programming Languages Distributed, Parallel, a... D.3.3; D.1.3; D.3.1
*Report*
8

Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Rahmani, Kia ; Nagar, Kartik ; Delaware, Benjamin ; et al.

Computer Science - Progr...
*Report*
10

Safe Dynamics for Distributed Programming.
Obara, Seiichi ; Fujita, Ken-etsu ; Obara, Seiichi ; et al.

**
11

Type-Safe Distributed Programming with ML5
Tom Murphy ; Karl Crary ; Robert Harper

Other information and co... computer sciences Information and Computin...
*Academic Journal*
12

Ur/Web: A Simple Model for Programming the Web.
Chlipala, Adam
Communications of the ACM; Aug2016, Vol. 59 Issue 8, p93-100, 8p, 5 Charts

PROGRAMMING languages WEB-based user interface... INTERNET standards INTERNET programming GRAPHICAL user interface... CLIENT/SERVER computing
*Periodical*
13

A programming model and foundation for lineage-based distributed computation.
HALLER, PHILIPP ; MILLER, HEATHER ; MÜLLER, NORMEN
Journal of Functional Programming; 2018, Vol. 28, pN.PAG-N.PAG, 48p

PROGRAMMING languages BIG data DISTRIBUTED computing DATA structures COMPUTER networks
*Academic Journal*
14

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
Yoshida, Nobuko ; Vasconcelos, Vasco T.
In Electronic Notes in Theoretical Computer Science 10 July 2007 171(4):73-93

*Academic Journal*
15

Pardis: a process calculus for parallel and distributed programming in Haskell.
Blöcker, Christopher ; Hoffmann, Ulrich
Journal of Supercomputing; Apr2018, Vol. 74 Issue 4, p1473-1484, 12p

HASKELL (Computer progra... DISTRIBUTED computing PARALLEL programming DOMAIN-specific programm... ABSTRACTION (Computer sc...
*Academic Journal*
16

Acute: High-level programming language design for distributed computation.
PETER SEWELL ; JAMES J. LEIFER ; KEITH WANSBROUGH ; et al.
Journal of Functional Programming; Jul2007, Vol. 17 Issue 4/5, p547-612, 66p

ML (Computer program lan... PROGRAMMING languages ELECTRONIC data processi... INFORMATION theory COMPUTER programming ALGORITHMS
*Academic Journal*
17

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Ping Hou and Nicolas Lagaillardie and Nobuko Yoshida ; Hou, Ping ; Lagaillardie, Nicolas ; et al.

*Electronic Resource*
18

Refining SCJ Mission Specifications into Parallel Handler Designs
Zeyda, Frank ; Cavalcanti, Ana
EPTCS 115, 2013, pp. 52-67

Computer Science - Logic... Computer Science - Distr... Computer Science - Progr...
*Report*
19

Session-Based Distributed Programming in Java.
Hu, Raymond ; Yoshida, Nobuko ; Honda, Kohei
Ecoop 2008 - Object-oriented Programming; 2008, p516-541, 26p

*Book*
20

*Filter*