Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102012372> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3102012372 endingPage "380" @default.
- W3102012372 startingPage "353" @default.
- W3102012372 abstract "Algebraic effects and handlers are a powerful abstraction mechanism to represent and implement control effects. In this work, we study their extension with parametric polymorphism that allows abstracting not only expressions but also effects and handlers. Although polymorphism makes it possible to reuse and reason about effect implementations more effectively, it has long been known that a naive combination of polymorphic effects and let-polymorphism breaks type safety. Although type safety can often be gained by restricting let-bound expressions---e.g., by adopting value restriction or weak polymorphism---we propose a complementary approach that restricts handlers instead of let-bound expressions. Our key observation is that, informally speaking, a handler is safe if resumptions from the handler do not interfere with each other. To formalize our idea, we define a call-by-value lambda calculus that supports let-polymorphism and polymorphic algebraic effects and handlers, design a type system that rejects interfering handlers, and prove type safety of our calculus." @default.
- W3102012372 created "2020-11-23" @default.
- W3102012372 creator A5018002187 @default.
- W3102012372 creator A5055835936 @default.
- W3102012372 date "2019-01-01" @default.
- W3102012372 modified "2023-09-27" @default.
- W3102012372 title "Handling Polymorphic Algebraic Effects" @default.
- W3102012372 cites W1584951182 @default.
- W3102012372 cites W1606211906 @default.
- W3102012372 cites W1692016514 @default.
- W3102012372 cites W1830421783 @default.
- W3102012372 cites W1971752790 @default.
- W3102012372 cites W1977212480 @default.
- W3102012372 cites W1980939032 @default.
- W3102012372 cites W2048365843 @default.
- W3102012372 cites W2052822938 @default.
- W3102012372 cites W2073001576 @default.
- W3102012372 cites W2110135416 @default.
- W3102012372 cites W2132416076 @default.
- W3102012372 cites W2135235252 @default.
- W3102012372 cites W2151156765 @default.
- W3102012372 cites W2151716725 @default.
- W3102012372 cites W2162298406 @default.
- W3102012372 cites W2293168108 @default.
- W3102012372 cites W2294422796 @default.
- W3102012372 cites W2544085948 @default.
- W3102012372 cites W2798644064 @default.
- W3102012372 cites W3101745982 @default.
- W3102012372 cites W3103594074 @default.
- W3102012372 doi "https://doi.org/10.1007/978-3-030-17184-1_13" @default.
- W3102012372 hasPublicationYear "2019" @default.
- W3102012372 type Work @default.
- W3102012372 sameAs 3102012372 @default.
- W3102012372 citedByCount "4" @default.
- W3102012372 countsByYear W31020123722019 @default.
- W3102012372 countsByYear W31020123722020 @default.
- W3102012372 countsByYear W31020123722021 @default.
- W3102012372 countsByYear W31020123722022 @default.
- W3102012372 crossrefType "book-chapter" @default.
- W3102012372 hasAuthorship W3102012372A5018002187 @default.
- W3102012372 hasAuthorship W3102012372A5055835936 @default.
- W3102012372 hasBestOaLocation W31020123721 @default.
- W3102012372 hasConcept C105795698 @default.
- W3102012372 hasConcept C111472728 @default.
- W3102012372 hasConcept C117251300 @default.
- W3102012372 hasConcept C120665830 @default.
- W3102012372 hasConcept C121332964 @default.
- W3102012372 hasConcept C124304363 @default.
- W3102012372 hasConcept C127413603 @default.
- W3102012372 hasConcept C134306372 @default.
- W3102012372 hasConcept C138885662 @default.
- W3102012372 hasConcept C199360897 @default.
- W3102012372 hasConcept C206588197 @default.
- W3102012372 hasConcept C2778113609 @default.
- W3102012372 hasConcept C33923547 @default.
- W3102012372 hasConcept C41008148 @default.
- W3102012372 hasConcept C548081761 @default.
- W3102012372 hasConcept C80444323 @default.
- W3102012372 hasConcept C9376300 @default.
- W3102012372 hasConceptScore W3102012372C105795698 @default.
- W3102012372 hasConceptScore W3102012372C111472728 @default.
- W3102012372 hasConceptScore W3102012372C117251300 @default.
- W3102012372 hasConceptScore W3102012372C120665830 @default.
- W3102012372 hasConceptScore W3102012372C121332964 @default.
- W3102012372 hasConceptScore W3102012372C124304363 @default.
- W3102012372 hasConceptScore W3102012372C127413603 @default.
- W3102012372 hasConceptScore W3102012372C134306372 @default.
- W3102012372 hasConceptScore W3102012372C138885662 @default.
- W3102012372 hasConceptScore W3102012372C199360897 @default.
- W3102012372 hasConceptScore W3102012372C206588197 @default.
- W3102012372 hasConceptScore W3102012372C2778113609 @default.
- W3102012372 hasConceptScore W3102012372C33923547 @default.
- W3102012372 hasConceptScore W3102012372C41008148 @default.
- W3102012372 hasConceptScore W3102012372C548081761 @default.
- W3102012372 hasConceptScore W3102012372C80444323 @default.
- W3102012372 hasConceptScore W3102012372C9376300 @default.
- W3102012372 hasLocation W31020123721 @default.
- W3102012372 hasLocation W31020123722 @default.
- W3102012372 hasOpenAccess W3102012372 @default.
- W3102012372 hasPrimaryLocation W31020123721 @default.
- W3102012372 hasRelatedWork W137976737 @default.
- W3102012372 hasRelatedWork W1504651774 @default.
- W3102012372 hasRelatedWork W1538157917 @default.
- W3102012372 hasRelatedWork W1565263828 @default.
- W3102012372 hasRelatedWork W1999473061 @default.
- W3102012372 hasRelatedWork W2052803392 @default.
- W3102012372 hasRelatedWork W2937242976 @default.
- W3102012372 hasRelatedWork W3160136729 @default.
- W3102012372 hasRelatedWork W2611182424 @default.
- W3102012372 hasRelatedWork W332295136 @default.
- W3102012372 isParatext "false" @default.
- W3102012372 isRetracted "false" @default.
- W3102012372 magId "3102012372" @default.
- W3102012372 workType "book-chapter" @default.