Achten, P.M. and Plasmeijer, M.J. The ins and outs of Clean I/O. In Journal of Functional Programming 5(1) - January 1995, Cambridge University Press, pp. 81-110. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Linear Logic, Monads and the Lambda Calculus - Benton, Wadler (1996) (1 citation) (Correct)
....on weakening and contraction in l . The significance of these results extends well beyond the treatment of partiality by lifting and many suggestive similarities remain. For example, both linear and monadic types have been used to add updateable state to functional languages in a controlled way [2, 15]. We hope that our work may serve as a starting point for a formal comparison of these approaches. 9. Acknowledgements We should like to thank Gavin Bierman, Martin Hyland, Eugenio Moggi, Valeria de Paiva, Andy Pitts, Gordon Plotkin, Robert Seely and the attendees of the SCILL workshop ....
P. Achten and R. Plasmeijer. The ins and outs of Clean I/O. Journal of Functional Programming, 5(1):81--110, Jan. 1992.
Operational Interpretations of Linear Logic - Turner, Wadler (1998) (25 citations) (Correct)
.... and Smetsers [BS93] have developed a complex type system and type reconstruction algorithm for socalled uniqueness types which possess exactly one pointer to them, and this type system has been applied to structure IO operations in the lazy functional language Clean by Achten and Plasmeijer [AP95]. Benton s mixed linear and non linear logic [Ben95] unlike linear logic, incorporates primitive linear and non linear term constructs, rather than interpreting non linear values in terms of closures. This means that the issue of how to interpret replicated linear values becomes less critical ....
Peter Achten and Rinus Plasmeijer. The ins and outs of clean i/o. Journal of Functional Programming, 5(1):81--110, January 1995.
Interactive Functional Objects in Clean - Achten, Plasmeijer (1997) (5 citations) Self-citation (Achten Plasmeijer) (Correct)
No context found.
Achten, P.M. and Plasmeijer, M.J. The ins and outs of Clean I/O. In Journal of Functional Programming 5(1) - January 1995, Cambridge University Press, pp. 81-110.
M. Dowse, A. Butterfield, M. van Eekelen , M. de Mol , R.. - Nijmegen Institute For Self-citation (Plasmeijer) (Correct)
No context found.
P. Achten and R. Plasmeijer. The ins and outs of Clean I/O. Journal of Functional Programming, 5(1):81--110, Jan. 1995.
Combining Generics and Dynamics - Achten, Hinze (2002) Self-citation (Achten) (Correct)
No context found.
Achten, P. and Plasmeijer, M. The ins and outs of Clean I/O. In Journal of Functional Programming, 5(1), January 1995, Cambridge University Press, pp.81-110.
Optimising the Memory Management of Higher-Order Functional.. - Mohnen (1997) (2 citations) Self-citation (Plasmeijer) (Correct)
No context found.
P. Achten and R. Plasmeijer. The ins and outs of Clean I/O. Journal of Functional Programming, 5(1):81110, January 1995.
Guarded Induction and Weakly Final Coalgebras in Dependent.. - Hancock, Setzer (2004) (Correct)
No context found.
P. Achten and M. J. Plasmeijer. The ins and outs of Clean I/O. Journal of Functional Programming, 5(1):81--110, 1995.
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