Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519772153> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1519772153 endingPage "271" @default.
- W1519772153 startingPage "235" @default.
- W1519772153 abstract "We propose a theoretical framework for adding assignments and dynamic data to functional languages without violating their semantic properties. This differs from semifunctional languages like Scheme and ML in that values of expressions remain static and side-effect-free. A new form of abstraction called observer is designed to encapsulate state-oriented computation from the remaining purely applicative computation. The type system ensures that observers are combined linearly, allowing an implementation in terms of a global store. The utility of this extension is in manipulating shared dynamic data embedded in data structures. Evaluation of well-typed programs is Church-Rosser. Thus, programs produce the same results whether an eager or lazy evaluation order is used (assuming termination). A simple, sound logic permits reasoning about well-typed programs. The benefits of this work include greater expressive power and efficiency (compared to applicative languages), while retaining simplicity of reasoning." @default.
- W1519772153 created "2016-06-24" @default.
- W1519772153 creator A5023203895 @default.
- W1519772153 creator A5035715267 @default.
- W1519772153 creator A5052926071 @default.
- W1519772153 date "1997-01-01" @default.
- W1519772153 modified "2023-09-26" @default.
- W1519772153 title "Assignments for Applicative Languages" @default.
- W1519772153 cites W1508664008 @default.
- W1519772153 cites W1770030691 @default.
- W1519772153 cites W1973030866 @default.
- W1519772153 cites W1973715736 @default.
- W1519772153 cites W1979101142 @default.
- W1519772153 cites W1997143185 @default.
- W1519772153 cites W2010525351 @default.
- W1519772153 cites W2027657506 @default.
- W1519772153 cites W2040479609 @default.
- W1519772153 cites W2074674709 @default.
- W1519772153 cites W2092774615 @default.
- W1519772153 cites W2099487986 @default.
- W1519772153 cites W2100738443 @default.
- W1519772153 cites W2110846749 @default.
- W1519772153 cites W2149837936 @default.
- W1519772153 cites W2151716725 @default.
- W1519772153 cites W2226029483 @default.
- W1519772153 cites W2991253930 @default.
- W1519772153 cites W4211265583 @default.
- W1519772153 cites W4245473027 @default.
- W1519772153 cites W4251558097 @default.
- W1519772153 doi "https://doi.org/10.1007/978-1-4612-4118-8_10" @default.
- W1519772153 hasPublicationYear "1997" @default.
- W1519772153 type Work @default.
- W1519772153 sameAs 1519772153 @default.
- W1519772153 citedByCount "1" @default.
- W1519772153 countsByYear W15197721532013 @default.
- W1519772153 crossrefType "book-chapter" @default.
- W1519772153 hasAuthorship W1519772153A5023203895 @default.
- W1519772153 hasAuthorship W1519772153A5035715267 @default.
- W1519772153 hasAuthorship W1519772153A5052926071 @default.
- W1519772153 hasBestOaLocation W15197721532 @default.
- W1519772153 hasConcept C111472728 @default.
- W1519772153 hasConcept C124304363 @default.
- W1519772153 hasConcept C134306372 @default.
- W1519772153 hasConcept C138885662 @default.
- W1519772153 hasConcept C195818886 @default.
- W1519772153 hasConcept C199360897 @default.
- W1519772153 hasConcept C2776372474 @default.
- W1519772153 hasConcept C2778029271 @default.
- W1519772153 hasConcept C2780586882 @default.
- W1519772153 hasConcept C33923547 @default.
- W1519772153 hasConcept C41008148 @default.
- W1519772153 hasConcept C45374587 @default.
- W1519772153 hasConcept C77618280 @default.
- W1519772153 hasConcept C80444323 @default.
- W1519772153 hasConceptScore W1519772153C111472728 @default.
- W1519772153 hasConceptScore W1519772153C124304363 @default.
- W1519772153 hasConceptScore W1519772153C134306372 @default.
- W1519772153 hasConceptScore W1519772153C138885662 @default.
- W1519772153 hasConceptScore W1519772153C195818886 @default.
- W1519772153 hasConceptScore W1519772153C199360897 @default.
- W1519772153 hasConceptScore W1519772153C2776372474 @default.
- W1519772153 hasConceptScore W1519772153C2778029271 @default.
- W1519772153 hasConceptScore W1519772153C2780586882 @default.
- W1519772153 hasConceptScore W1519772153C33923547 @default.
- W1519772153 hasConceptScore W1519772153C41008148 @default.
- W1519772153 hasConceptScore W1519772153C45374587 @default.
- W1519772153 hasConceptScore W1519772153C77618280 @default.
- W1519772153 hasConceptScore W1519772153C80444323 @default.
- W1519772153 hasLocation W15197721531 @default.
- W1519772153 hasLocation W15197721532 @default.
- W1519772153 hasOpenAccess W1519772153 @default.
- W1519772153 hasPrimaryLocation W15197721531 @default.
- W1519772153 hasRelatedWork W115425660 @default.
- W1519772153 hasRelatedWork W1488880065 @default.
- W1519772153 hasRelatedWork W1542304993 @default.
- W1519772153 hasRelatedWork W1550435668 @default.
- W1519772153 hasRelatedWork W1566445069 @default.
- W1519772153 hasRelatedWork W1596917824 @default.
- W1519772153 hasRelatedWork W1714514560 @default.
- W1519772153 hasRelatedWork W1799755858 @default.
- W1519772153 hasRelatedWork W2068492670 @default.
- W1519772153 hasRelatedWork W2104216136 @default.
- W1519772153 hasRelatedWork W2119897009 @default.
- W1519772153 hasRelatedWork W2166482687 @default.
- W1519772153 hasRelatedWork W2182186806 @default.
- W1519772153 hasRelatedWork W2293168108 @default.
- W1519772153 hasRelatedWork W2345825518 @default.
- W1519772153 hasRelatedWork W2401596948 @default.
- W1519772153 hasRelatedWork W2427828726 @default.
- W1519772153 hasRelatedWork W2551794739 @default.
- W1519772153 hasRelatedWork W274788069 @default.
- W1519772153 hasRelatedWork W2762769801 @default.
- W1519772153 isParatext "false" @default.
- W1519772153 isRetracted "false" @default.
- W1519772153 magId "1519772153" @default.
- W1519772153 workType "book-chapter" @default.