MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "State in Haskell." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

State in Haskell
by John Launchbury Jl, John Launchbury, Simon L Peyton Jones — 1996
…, , 1--51 () c fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. State…
Add To MetaCart

Monadic Encapsulation in ML
by Miley Semmelroth, Amr Sabry — 1999 — In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming (ICFP’99
… pointers. Starting from an idea developed in the context of monadic state in Haskell, we develop an ML…
Cited by 16 (3 self) – Add To MetaCart

Monadic State: Axiomatization and Type Safety
by John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated — 1997 — In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97
… for state in Haskell and the first full proof of type safety. We demonstrate that the semantic notion…
Cited by 22 (6 self) – Add To MetaCart

Lazy State Evaluation of Process Functional Programs
by Ján Kollár, Jaroslav Porubän, Peter Václavík — ISM’02, Proceedings of the Conference “Information Systems Modelling”, Roˇznov pod Radhoˇstěm, Czech Republic (April 22–24
… functional language Haskell. Finally, we describe briefly our approach to lazy state manipulation in PFL…
Cited by 2 (2 self) – Add To MetaCart

First-class modules for component-based programming: Case for support
by Simon Peyton Jones, Gum A, Sl Peyton Jones, Sl Peyton Jones, J Launchbury, S Liang, P Hudak, Mark Jones, Monad Transformers, M Odersky, K Laufer, Putting Type Annotations — 1996
… implementation of Haskell," in SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'96…
Cited by 3 (0 self) – Add To MetaCart

1st Year Transfer Dissertation
by Joel Wright — 2003
… programs. . State in Haskell [LJ95] presents a way of securely encapsulating stateful computations…
Add To MetaCart

A Type-And-Effect System For Encapsulating Memory In Java
by Bennett Norton Yates, Dr. Amr Sabry — 1999
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 State In Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Type-And-Eect Systems…
Cited by 4 (0 self) – Add To MetaCart

A Monadic Interpretation of Tactics
by Andrew Martin, Jeremy Gibbons — 2002
… of the polymorphic types of >>= and return [Wad89], but the coherence laws cannot be stated in Haskell…
Cited by 1 (0 self) – Add To MetaCart

Abstract Lightweight Concurrency Primitives for GHC
by Peng Li, Simon Marlow
… that supports local state in Section 3.5. • Interfacing Haskell code to foreign functions, especially if those…
Cited by 2 (2 self) – Add To MetaCart

Dynamic applications from the ground up
by Don Stewart, Manuel M. T. Chakravarty — 2005 — In ACM SIGPLAN Haskell WS
… by default in Haskell programs. Without restricted state, run-time system or operating system support seems…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB