Simon Peyton Jones. Engineering Theories of Software Construction, volume 180 of NATO Science Series: Computer & Systems Sciences, chapter Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreignlanguage calls in Haskell, pages 47-96. IOS Press, 2001. Updated version available online at http://research.microsoft.com/~simonpj/. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Chasing Bottoms - A Case Study in Program Verification in.. - Danielsson, Jansson (2004) (3 citations) (Correct)
No context found.
Simon Peyton Jones. Engineering Theories of Software Construction, volume 180 of NATO Science Series: Computer & Systems Sciences, chapter Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreignlanguage calls in Haskell, pages 47-96. IOS Press, 2001. Updated version available online at http://research.microsoft.com/~simonpj/.
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