Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549205822> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1549205822 endingPage "17" @default.
- W1549205822 startingPage "1" @default.
- W1549205822 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 called Unique Types. It makes it possible to define functions with side-effects without violating the functional semantics. Now it is possible to change any object in the world in the way we wanted: e.g. arrays can be updated in-situ, arbitrary file manipulation is possible. We have used this powerful tool among others to create a library for window based I/O. Using an explicit environment passing scheme provides a high-level and elegant functional specification method for I/O, called Event I/O. Now the specification of I/O has become one of the strengths of functional languages: interactive programs written in Concurrent Clean are concise, easy to write and comprehend as well as efficient. The presented solution can in principle be applied for any other functional language as well provided that it actually uses graph rewriting semantics in the implementation." @default.
- W1549205822 created "2016-06-24" @default.
- W1549205822 creator A5009681007 @default.
- W1549205822 creator A5049917627 @default.
- W1549205822 creator A5081280625 @default.
- W1549205822 date "1993-01-01" @default.
- W1549205822 modified "2023-09-27" @default.
- W1549205822 title "High Level Specification of I/O in Functional Languages" @default.
- W1549205822 cites W1586212986 @default.
- W1549205822 cites W2097509104 @default.
- W1549205822 cites W2172307690 @default.
- W1549205822 cites W2911865844 @default.
- W1549205822 cites W4214650368 @default.
- W1549205822 doi "https://doi.org/10.1007/978-1-4471-3215-8_1" @default.
- W1549205822 hasPublicationYear "1993" @default.
- W1549205822 type Work @default.
- W1549205822 sameAs 1549205822 @default.
- W1549205822 citedByCount "14" @default.
- W1549205822 countsByYear W15492058222012 @default.
- W1549205822 crossrefType "book-chapter" @default.
- W1549205822 hasAuthorship W1549205822A5009681007 @default.
- W1549205822 hasAuthorship W1549205822A5049917627 @default.
- W1549205822 hasAuthorship W1549205822A5081280625 @default.
- W1549205822 hasBestOaLocation W15492058222 @default.
- W1549205822 hasConcept C111919701 @default.
- W1549205822 hasConcept C154690210 @default.
- W1549205822 hasConcept C184337299 @default.
- W1549205822 hasConcept C199360897 @default.
- W1549205822 hasConcept C2778751112 @default.
- W1549205822 hasConcept C41008148 @default.
- W1549205822 hasConcept C42383842 @default.
- W1549205822 hasConcept C80444323 @default.
- W1549205822 hasConceptScore W1549205822C111919701 @default.
- W1549205822 hasConceptScore W1549205822C154690210 @default.
- W1549205822 hasConceptScore W1549205822C184337299 @default.
- W1549205822 hasConceptScore W1549205822C199360897 @default.
- W1549205822 hasConceptScore W1549205822C2778751112 @default.
- W1549205822 hasConceptScore W1549205822C41008148 @default.
- W1549205822 hasConceptScore W1549205822C42383842 @default.
- W1549205822 hasConceptScore W1549205822C80444323 @default.
- W1549205822 hasLocation W15492058221 @default.
- W1549205822 hasLocation W15492058222 @default.
- W1549205822 hasLocation W15492058223 @default.
- W1549205822 hasOpenAccess W1549205822 @default.
- W1549205822 hasPrimaryLocation W15492058221 @default.
- W1549205822 hasRelatedWork W1587224678 @default.
- W1549205822 hasRelatedWork W1818509088 @default.
- W1549205822 hasRelatedWork W2030762481 @default.
- W1549205822 hasRelatedWork W2299441260 @default.
- W1549205822 hasRelatedWork W3038540829 @default.
- W1549205822 hasRelatedWork W4251805752 @default.
- W1549205822 hasRelatedWork W4287727028 @default.
- W1549205822 hasRelatedWork W2585545025 @default.
- W1549205822 hasRelatedWork W2787105657 @default.
- W1549205822 hasRelatedWork W2788308474 @default.
- W1549205822 isParatext "false" @default.
- W1549205822 isRetracted "false" @default.
- W1549205822 magId "1549205822" @default.
- W1549205822 workType "book-chapter" @default.