Institute of Technology Lausanne (EPFL) Laboratoire de Methodes de...  Home/Search
Context
Related
| lamp.epfl.ch/~emir...A_20000717.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lamp.epfl.ch/~emir/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1 Introduction 3 2 Monads 3 2.1 Simple commands . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Commands that yield values . . . . . . . . . . . . . . . . . . . 5 2.3 Program composition . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 Putting it together . . . . . . . . . . . . . . . . . . . . . . . . 6 2.5 Adding types . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3 Transaction monads 7 3.1 Initialization and Finalizing . . . . . . . . . . . . . . . . . . . ... (Update)
Active bibliography (related documents): More All
0.1: Transactions for Java - Garthwaite, Nettles (1996) (Correct)
0.1: Efficient support for customizing concurrency control.. - Daynes, Atkinson.. (1996) (Correct)
0.1: Transactors: A Programming Model for Maintaining Globally.. - Field, Varela (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ -unknown,
title = "Unknown",
url = "citeseer.ist.psu.edu/760945.html" }
Citations (may not include all citations):293 The Essence of Functional Programming - Wadler - 1992
291 Computational lambda-calculus and monads - Moggi - 1989
254 Comprehending Monads - Wadler - 1990
62 How to Declare an Imperative - Wadler - 1995
10 Composing First-Class Transactions - Haines, Kindred et al. - 1994
1 Concurrence (context) - Spaccapietra, Vol
Documents on the same site (http://lamp.epfl.ch/~emir/): More
Compiling Regular Patterns to Sequential Machines - Emir (2004) (Correct)
Abstraction - Emir (2001) (Correct)
Programming Language Abstractions for Semistructured Data - Emir (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC