Filinski, Andrzej. (1996). Controlling effects. Ph.D. thesis, Carnegie Mellon University. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
What is a Purely Functional Language? - Sabry (1998) (4 citations) (Correct)
.... the parameter passing technique (Plotkin, 1975; Reynolds, 1972) This suggests a way to embed computational effects in a purely functional language: force all the imperative parts of the program to be written in CPS or the closely related effect passing style (EPS) based on monads (Filinski, 1994; Filinski, 1996; Wadler, 1990) Intuitively, both CPS and EPS require programmers to explicitly sequence the imperative operations, and hence remove any ambiguity associated with the parameter passing mechanism. A naive implementation of this idea would simply restrict all parts of a program (pure and impure) to ....
Filinski, Andrzej. (1996). Controlling effects. Ph.D. thesis, Carnegie Mellon University.
Safe and Principled Language Interoperation - Trifonov, Shao (1999) (2 citations) (Correct)
....of the abstract machine configuration. Thus if the set of resources required by term e corresponds to the monad M = T 1 ffi : ffi Tn )Id , extending it via use ae (e) is, in general, not expressed as an application of a monad transformer T to M , but as the use of a monad morphism [2] to embed values of M into a monad isomorphic to a composition of T 1 ; Tn ; T in a canonical order. Proving the equivalence of a monads defined as compositions with their horizontal representations meets the technical complexity of constructing morphisms between them. We have opted ....
Andrzej Filinski. Controlling Effects. PhD thesis, CMU, 1996.
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