P.S. Barth, R.S. Nikhil, and Arvind. M-structures: Extending a parallel non-strict functional language with state. In Proc. Functional Programming Languages and Computer Architecture 1991, LNCS 523, pages 538--568, 1991. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Partial Rehabilitation of Side-Effecting I/O.. - Schmidt-Schauß (1996) (Correct)
....or to implement I O facilities. We do not want to comment on strict functional languages like Lisp , Scheme, or ML, where the reduction sequence is applicative order and hence fixed, since the approaches are not comparable. The proposal for non determinism and I O in Id using M structures [BNA91] is based on a non strict, first order functional language. The sequential barrier introduced there is an interesting method that is able to synchronise concurrent execution of commuting external update operations, it is comparable to our AE, though it puts a stronger condition on the ....
P.S. Barth, R.S. Nikhil, and Arvind. M-structures: Extending a parallel non-strict functional language with state. In Proc. Functional Programming Languages and Computer Architecture 1991, LNCS 523, pages 538--568, 1991.
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