Noel Welsh wrote:
> 
> > > I'm intrigued by the relationship between these
> > two parsers.
> 
> I wonder if this is related to the difference between
> lazy and strict evaluation.

It is related to implicit data-flow synchronisation via futures (of
which lazy futures are one instance). See:

@article{Halstead:Multilisp,
  author = "Robert Halstead",
  title = "Multilisp: A Language For Concurrent Symbolic Computation",
  journal = "{ACM} Transactions on Programming Languages and Systems",
  volume = 7,
  number = 4,
  pages = "501--538",
  year = 1985,
  month = oct,
}

@inproceedings{Flanagan+Felleisen:SemanticsOfFuture,
    author = "Cormac Flanagan and Matthias Felleisen",
    title = "The Semantics of Future and Its Use in Program
Optimizations",
    booktitle = "22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles
of Programming Languages (POPL'95)",
    address = "San Francisco, California",
    pages = "209--220",
    year = "1995",
    url = "citeseer.nj.nec.com/flanagan95semantics.html"
}

[I believe there is also a more recent journal version of this paper.]

@misc{Niehren+Schwinghammer+Smolka:Futures,
  author = {Joachim Niehren and Jan Schwinghammer and Gert Smolka},
  title = {Concurrent Computation in a Lambda Calculus with Futures},
  institute = {Programming Systems Lab, Universit\"at des Saarlandes},
  year = {2002},
  month = jun,
  note = {Submitted},
  url = "http://www.ps.uni-sb.de/Papers/abstracts/lambdafut.html",
}

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

"Computer games don't affect kids; I mean if Pac Man affected us
 as kids, we would all be running around in darkened rooms, munching
 magic pills, and listening to repetitive electronic music."
 - Kristian Wilson, Nintendo Inc.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners