todo.tex

% A View of Cloud Computing

% RPC:
% Implementing Remote Procedure Calls (1984)
% A Distributed Object Model for the Java System (1996)
% A Note on Distributed Computing (1994)
% A Critique of the Remote Procedure Call Paradigm (1988)
% Convenience Over Correctness (2008)

% Futures:
% Multilisp: A language for concurrent symbolic computation (1985)
% Promises: linguistic support for efficient asynchronous procedure calls in distributed systems (1988)
% Oz dataflow concurrency. Selected sections from the textbook Concepts, Techniques, and Models of Computer Programming. 
% Sections to read: 1.11: Dataflow, 2.2: The single-assignment store, 4.93-4.95: Dataflow variables as communication channels ...etc.
% The F# asynchronous programming model (2011)
% Your Server as a Function (2013)

% Message passing:
% Concurrent Object-Oriented Programming (1990)
% Concurrency among strangers (2005)
% Scala actors: Unifying thread-based and event-based programming (2009)
% Erlang (2010)
% Orleans: cloud computing for everyone (2011)

% Distributed programming languages:
% Distributed Programming in Argus (1988)
% Distribution and Abstract Types in Emerald (1987)
% The Linda alternative to message-passing systems (1994)
% Orca: A Language For Parallel Programming of Distributed Systems (1992)
% Ambient-Oriented Programming in AmbientTalk (2006)

% CRDTs:
% Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services (2002)
% Conflict-free Replicated Data Types (2011)
% A comprehensive study of Convergent and Commutative Replicated Data Types (2011)
% CAP Twelve Years Later: How the "Rules" Have Changed (2012)
% Cloud Types for Eventual Consistency (2012)

% Languages and Consistency:
% Consistency Analysis in Bloom: a CALM and Collected Approach (2011)
% Logic and Lattices for Distributed Programming (2012)
% Consistency Without Borders (2013)
% Lasp: A language for distributed, coordination-free programming (2015)

% Languages Extended for Distribution:
% Distributed Erlang
% Cloud Haskell
% Alice ML
% Termite Scheme
% ML5
% MBrace

% Global Sequence Protocol

% Gosling's Oak
% Multicast invocation
% RPC "missing the point" post.
% Concurrent programming analogy
% StarOS
% SOS
% Accent
% Gaggles
% Virtual Synchrony
% Hidden Hand
% V
% Actors
% Linda
% SAIL
% Avalon, Herlihy

% Michael Scott paper
% Liskov paper

% Distributed unification via Oz