Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293813326> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4293813326 endingPage "539" @default.
- W4293813326 startingPage "512" @default.
- W4293813326 abstract "Purely functional programming languages pride themselves with reifying effects that are implicit in imperative languages into reusable and composable abstractions such as monads. This reification allows for more exact control over effects as well as the introduction of new or derived effects. However, despite libraries of more and more powerful abstractions over effectful operations being developed, syntactically the common 'do' notation still lags behind equivalent imperative code it is supposed to mimic regarding verbosity and code duplication. In this paper, we explore extending 'do' notation with other imperative language features that can be added to simplify monadic code: local mutation, early return, and iteration. We present formal translation rules that compile these features back down to purely functional code, show that the generated code can still be reasoned over using an implementation of the translation in the Lean 4 theorem prover, and formally prove the correctness of the translation rules relative to a simple static and dynamic semantics in Lean." @default.
- W4293813326 created "2022-08-31" @default.
- W4293813326 creator A5045859619 @default.
- W4293813326 creator A5071042543 @default.
- W4293813326 date "2022-08-29" @default.
- W4293813326 modified "2023-09-25" @default.
- W4293813326 title "‘do’ unchained: embracing local imperativity in a purely functional language (functional pearl)" @default.
- W4293813326 cites W1552909716 @default.
- W4293813326 cites W1558175043 @default.
- W4293813326 cites W156309329 @default.
- W4293813326 cites W1576046038 @default.
- W4293813326 cites W1581378641 @default.
- W4293813326 cites W1986402635 @default.
- W4293813326 cites W1997143185 @default.
- W4293813326 cites W2000616678 @default.
- W4293813326 cites W2010452422 @default.
- W4293813326 cites W2013892605 @default.
- W4293813326 cites W2057052623 @default.
- W4293813326 cites W2059895047 @default.
- W4293813326 cites W2082709037 @default.
- W4293813326 cites W2109375905 @default.
- W4293813326 cites W2116435685 @default.
- W4293813326 cites W2116813111 @default.
- W4293813326 cites W2145108549 @default.
- W4293813326 cites W2173780645 @default.
- W4293813326 cites W2513970686 @default.
- W4293813326 cites W2562114628 @default.
- W4293813326 cites W3106543884 @default.
- W4293813326 cites W3178506813 @default.
- W4293813326 cites W4214538532 @default.
- W4293813326 cites W4226202061 @default.
- W4293813326 doi "https://doi.org/10.1145/3547640" @default.
- W4293813326 hasPublicationYear "2022" @default.
- W4293813326 type Work @default.
- W4293813326 citedByCount "0" @default.
- W4293813326 crossrefType "journal-article" @default.
- W4293813326 hasAuthorship W4293813326A5045859619 @default.
- W4293813326 hasAuthorship W4293813326A5071042543 @default.
- W4293813326 hasBestOaLocation W42938133261 @default.
- W4293813326 hasConcept C138885662 @default.
- W4293813326 hasConcept C177264268 @default.
- W4293813326 hasConcept C199360897 @default.
- W4293813326 hasConcept C27206212 @default.
- W4293813326 hasConcept C2776760102 @default.
- W4293813326 hasConcept C2779251273 @default.
- W4293813326 hasConcept C33923547 @default.
- W4293813326 hasConcept C41008148 @default.
- W4293813326 hasConcept C42383842 @default.
- W4293813326 hasConcept C45357846 @default.
- W4293813326 hasConcept C55439883 @default.
- W4293813326 hasConcept C80444323 @default.
- W4293813326 hasConcept C94375191 @default.
- W4293813326 hasConceptScore W4293813326C138885662 @default.
- W4293813326 hasConceptScore W4293813326C177264268 @default.
- W4293813326 hasConceptScore W4293813326C199360897 @default.
- W4293813326 hasConceptScore W4293813326C27206212 @default.
- W4293813326 hasConceptScore W4293813326C2776760102 @default.
- W4293813326 hasConceptScore W4293813326C2779251273 @default.
- W4293813326 hasConceptScore W4293813326C33923547 @default.
- W4293813326 hasConceptScore W4293813326C41008148 @default.
- W4293813326 hasConceptScore W4293813326C42383842 @default.
- W4293813326 hasConceptScore W4293813326C45357846 @default.
- W4293813326 hasConceptScore W4293813326C55439883 @default.
- W4293813326 hasConceptScore W4293813326C80444323 @default.
- W4293813326 hasConceptScore W4293813326C94375191 @default.
- W4293813326 hasIssue "ICFP" @default.
- W4293813326 hasLocation W42938133261 @default.
- W4293813326 hasOpenAccess W4293813326 @default.
- W4293813326 hasPrimaryLocation W42938133261 @default.
- W4293813326 hasRelatedWork W1550732278 @default.
- W4293813326 hasRelatedWork W1601811574 @default.
- W4293813326 hasRelatedWork W1791255120 @default.
- W4293813326 hasRelatedWork W1967226206 @default.
- W4293813326 hasRelatedWork W2037734402 @default.
- W4293813326 hasRelatedWork W2087667458 @default.
- W4293813326 hasRelatedWork W2123506660 @default.
- W4293813326 hasRelatedWork W2260666108 @default.
- W4293813326 hasRelatedWork W4213257091 @default.
- W4293813326 hasRelatedWork W2100079361 @default.
- W4293813326 hasVolume "6" @default.
- W4293813326 isParatext "false" @default.
- W4293813326 isRetracted "false" @default.
- W4293813326 workType "article" @default.