FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949466544> ?p ?o ?g. }

• W2949466544 endingPage "58" @default.
• W2949466544 startingPage "52" @default.
• W2949466544 abstract "We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar's effect handler abstraction. Effect handlers provide an abstraction for modular effectful programming: a handler acts as an interpreter for a collection of commands whose interfaces are statically tracked by the type system. However, Frank eliminates the need for an additional effect handling construct by generalising the basic mechanism of functional abstraction itself. A function is simply the special case of a Frank operator that interprets no commands. Moreover, Frank's operators can be multihandlers which simultaneously interpret commands from several sources at once, without disturbing the direct style of functional programming with values. Effect typing in Frank employs a novel form of effect polymorphism which avoid mentioning effect variables in source code. This is achieved by propagating an ambient ability inwards, rather than accumulating unions of potential effects outwards. We introduce Frank by example, and then give a formal account of the Frank type system and its semantics. We introduce Core Frank by elaborating Frank operators into functions, case expressions, and unary handlers, and then give a sound small-step operational semantics for Core Frank. Programming with effects and handlers is in its infancy. We contribute an exploration of future possibilities, particularly in combination with other forms of rich type system." @default.
• W2949466544 created "2019-06-27" @default.
• W2949466544 creator A5061903791 @default.
• W2949466544 creator A5079190229 @default.
• W2949466544 creator A5090954120 @default.
• W2949466544 date "2016-09-13" @default.
• W2949466544 modified "2023-09-27" @default.
• W2949466544 title "Do-be-do-be-do" @default.
• W2949466544 cites W1969167499 @default.
• W2949466544 cites W1980476455 @default.
• W2949466544 cites W2084015889 @default.
• W2949466544 cites W2085552917 @default.
• W2949466544 cites W2099741881 @default.
• W2949466544 cites W2106952596 @default.
• W2949466544 cites W2115538819 @default.
• W2949466544 cites W2136327713 @default.
• W2949466544 cites W2145108549 @default.
• W2949466544 cites W2162298406 @default.
• W2949466544 cites W2510703714 @default.
• W2949466544 cites W3103594074 @default.
• W2949466544 cites W775976006 @default.
• W2949466544 doi "https://doi.org/10.4324/9781315669403-10" @default.
• W2949466544 hasPublicationYear "2016" @default.
• W2949466544 type Work @default.
• W2949466544 sameAs 2949466544 @default.
• W2949466544 citedByCount "1" @default.
• W2949466544 countsByYear W29494665442016 @default.
• W2949466544 crossrefType "book-chapter" @default.
• W2949466544 hasAuthorship W2949466544A5061903791 @default.
• W2949466544 hasAuthorship W2949466544A5079190229 @default.
• W2949466544 hasAuthorship W2949466544A5090954120 @default.
• W2949466544 hasConcept C101468663 @default.
• W2949466544 hasConcept C104317684 @default.
• W2949466544 hasConcept C111472728 @default.
• W2949466544 hasConcept C118615104 @default.
• W2949466544 hasConcept C122783720 @default.
• W2949466544 hasConcept C124304363 @default.
• W2949466544 hasConcept C138885662 @default.
• W2949466544 hasConcept C156325763 @default.
• W2949466544 hasConcept C158448853 @default.
• W2949466544 hasConcept C17020691 @default.
• W2949466544 hasConcept C184337299 @default.
• W2949466544 hasConcept C185592680 @default.
• W2949466544 hasConcept C199360897 @default.
• W2949466544 hasConcept C33923547 @default.
• W2949466544 hasConcept C41008148 @default.
• W2949466544 hasConcept C42383842 @default.
• W2949466544 hasConcept C44779574 @default.
• W2949466544 hasConcept C55493867 @default.
• W2949466544 hasConcept C78023250 @default.
• W2949466544 hasConcept C80444323 @default.
• W2949466544 hasConcept C86339819 @default.
• W2949466544 hasConceptScore W2949466544C101468663 @default.
• W2949466544 hasConceptScore W2949466544C104317684 @default.
• W2949466544 hasConceptScore W2949466544C111472728 @default.
• W2949466544 hasConceptScore W2949466544C118615104 @default.
• W2949466544 hasConceptScore W2949466544C122783720 @default.
• W2949466544 hasConceptScore W2949466544C124304363 @default.
• W2949466544 hasConceptScore W2949466544C138885662 @default.
• W2949466544 hasConceptScore W2949466544C156325763 @default.
• W2949466544 hasConceptScore W2949466544C158448853 @default.
• W2949466544 hasConceptScore W2949466544C17020691 @default.
• W2949466544 hasConceptScore W2949466544C184337299 @default.
• W2949466544 hasConceptScore W2949466544C185592680 @default.
• W2949466544 hasConceptScore W2949466544C199360897 @default.
• W2949466544 hasConceptScore W2949466544C33923547 @default.
• W2949466544 hasConceptScore W2949466544C41008148 @default.
• W2949466544 hasConceptScore W2949466544C42383842 @default.
• W2949466544 hasConceptScore W2949466544C44779574 @default.
• W2949466544 hasConceptScore W2949466544C55493867 @default.
• W2949466544 hasConceptScore W2949466544C78023250 @default.
• W2949466544 hasConceptScore W2949466544C80444323 @default.
• W2949466544 hasConceptScore W2949466544C86339819 @default.
• W2949466544 hasLocation W29494665441 @default.
• W2949466544 hasOpenAccess W2949466544 @default.
• W2949466544 hasPrimaryLocation W29494665441 @default.
• W2949466544 hasRelatedWork W1413831282 @default.
• W2949466544 hasRelatedWork W1493627728 @default.
• W2949466544 hasRelatedWork W1534348627 @default.
• W2949466544 hasRelatedWork W1566445069 @default.
• W2949466544 hasRelatedWork W1714514560 @default.
• W2949466544 hasRelatedWork W1980476455 @default.
• W2949466544 hasRelatedWork W2021519440 @default.
• W2949466544 hasRelatedWork W2039139011 @default.
• W2949466544 hasRelatedWork W2061456508 @default.
• W2949466544 hasRelatedWork W2062813067 @default.
• W2949466544 hasRelatedWork W2119897009 @default.
• W2949466544 hasRelatedWork W2138481610 @default.
• W2949466544 hasRelatedWork W2144700864 @default.
• W2949466544 hasRelatedWork W2184230987 @default.
• W2949466544 hasRelatedWork W2293168108 @default.
• W2949466544 hasRelatedWork W2401596948 @default.
• W2949466544 hasRelatedWork W2489483223 @default.
• W2949466544 hasRelatedWork W2523942962 @default.
• W2949466544 hasRelatedWork W2899650865 @default.
• W2949466544 hasRelatedWork W3194811120 @default.
• W2949466544 isParatext "false" @default.
• W2949466544 isRetracted "false" @default.

• next