Peter Achten, John van Groningen, Rinus Plasmeijer  Home/Search
Context Related
| cs.kun.nl/pub/Clea...HighLevelIO.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kun.nl/~clea...dy_publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects. Furthermore, functional languages allow redexes to be evaluated in any order while I/O generally has to be performed in a very specific order. In this paper we present a new solution for the I/O problem which we have incorporated in the language Concurrent Clean. Concurrent Clean offers a linear type system... (Update)
Context of citations to this paper: More
.... MutArr s Int is a mutable array of size three with all elements initialized to 0, then the expression anArr appR (applyST [1, 2, 2, 2, 2, 1, 3] incrST) counts the frequency of the elements of the given list the array is modified so that its first, second and third elements...
...17 418, Generic Tools for Program Analysis and Optimization . 1. Introduction Several models have been formulated [Lan65, JW93, AvGP92] which aim to reconcile the sideeffect free nature of functional languages with the inherently imperative nature of I O. This is a hard nut to...
Cited by: More
Epic and ARM - User's Guide - Walters (1997) (Correct)
A New Method for Functional Arrays - O'Neill, Burton (1997) (Correct)
A Model for I/O in Equational Languages with Don't Care.. - Walters, Kamperman (1995) (Correct)
Similar documents (at the sentence level):
8.8%: The Beauty and the Beast - Achten, Plasmeijer (1992) (Correct)
Active bibliography (related documents): More All
1.1: The Ins and Outs of Clean I/O - Achten, Plasmeijer (1994) (Correct)
0.7: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: A Framework for Deterministically Interleaved Interactive.. - Achten, Plasmeijer (1994) (Correct)
Similar documents based on text: More All
0.1: Language Report Concurrent Clean - Plasmeijer, van Eekelen (1998) (Correct)
0.1: Proving the Temporal Properties of the Unique World - Horváth, Achten.. (1999) (Correct)
0.1: Using Type and Constructor Classes to Interpret Object.. - Achten, Plasmeijer (1995) (Correct)
Related documents from co-citation: More All
10: Imperative functional programming - Jones, Wadler - 1993
6: The essence of functional programming - Wadler - 1992
6: Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993
BibTeX entry: (Update)
Achten, P.M., van Groningen J.H.G., and Plasmeijer, M.J. 1993. High Level Specifica tion of I/O in Functional Languages. In Launchbury,J., Sansom,P. eds., Proceedings Glasgow Workshop on Functional Programming, Ayr,Scotland, 6-8 June 1992. Workshop Notes in Com - puter Science. Springer-Verlag,Berlin,1993, pp 1-17. http://citeseer.ist.psu.edu/achten93high.html More
@inproceedings{ achten93high,
author = "P. M. Achten and others",
title = "High Level Specification of {I}/{O} in Functional Languages",
booktitle = "Proceedings Glasgow Workshop on Functional Programming",
publisher = "Springer Verlag",
address = "New York, NY",
editor = "J. Launchbury et al",
year = "1993",
url = "citeseer.ist.psu.edu/achten93high.html" }
Citations (may not include all citations):273 Can Programming Be Liberated from the von Neumann Style (context) - Backus - 1978
257 Report on the Programming Language Haskell (context) - ed - 1991
244 Imperative Functional Programming - SL, Ph - 1993
242 Linear Logic (context) - J-Y - 1987
206 Why Functional Programming Matters - Hughes - 1990
184 Linear types can change the world - Ph - 1990
44 Clean - A Language for Functional Graph Rewriting (context) - Brus - 1987
28 Interactive Functional Programs (context) - Thompson - 1990
20 Term Graph Reduction (context) - HP, van MCJD et al. - 1990
13 An Approach to Functional Operating Systems (context) - DA - 1990
10 An introduction to the programming language FL (context) - Backus, Williams et al. - 1990
8 Functions and Dynamic User Interfaces (context) - Dwelly - 1989
8 Efficient Heap Management in the Concrete ABC Machine (context) - van JHG, EGJMH et al. - 1991
6 Concurrent Clean Language Manual - version (context) - van MCJD, HS et al. - 1992
4 Eekelen van MCJD and Plasmeijer MJ (context) - JEW, PM
4 Eekelen van MCJD and Plasmeijer MJ (context) - EGJMH, JEW - 1990
4 Department of Computing (context) - Functional, solution - 1988
3 Operational Semantics of Clean Event I/O (context) - PM
2 Faculty of Mathematics and Informatics (context) - Clean, of - 1992
1 Groningen van JHG and Plasmeijer MJ (context) - JEW, EGJMH - 1991
1 Purely Functional Operating Systems (context) - Darlington
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kun.nl/~clean/Research/publications/body_publications.html): More
Strong Normalization of Typeable Rewrite Systems - van Bakel, Fernández (1994) (Correct)
The Concurrent Clean System - Functional.. - Plasmeijer, van.. (Correct)
Efficient Combinator Parsers - Koopman, Plasmeijer (1998) (Correct)
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