CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract

First Page		Document Content
Date: 2014-06-12 03:57:46 Fault-tolerant computer systems Computing Distributed algorithms Computer programming Inter-process communication Paxos Consensus Software engineering Haskell features Algorithm Futures and promises		CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract Add to Reading List Source URL: www.scs.stanford.edu Download Document from Source Website File Size: 154,25 KB Share Document on Facebook

	Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden DocID: 1rlNb - View Document
	Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di DocID: 1r08I - View Document
	CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract DocID: 1qU9T - View Document
	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev DocID: 1quWn - View Document
	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu DocID: 1qtvY - View Document