FRINK Linked Data Fragments server

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

• W4241907611 endingPage "38" @default.
• W4241907611 startingPage "27" @default.
• W4241907611 abstract "Inductive datatypes provide mechanisms to define finite data such as finite lists and trees via constructors and allow programmers to analyze and manipulate finite data via pattern matching. In this paper, we develop a dual approach for working with infinite data structures such as streams. Infinite data inhabits coinductive datatypes which denote greatest fixpoints. Unlike finite data which is defined by constructors we define infinite data by observations. Dual to pattern matching, a tool for analyzing finite data, we develop the concept of copattern matching, which allows us to synthesize infinite data. This leads to a symmetric language design where pattern matching on finite and infinite data can be mixed. We present a core language for programming with infinite structures by observations together with its operational semantics based on (co)pattern matching and describe coverage of copatterns. Our language naturally supports both call-by-name and call-by-value interpretations and can be seamlessly integrated into existing languages like Haskell and ML. We prove type soundness for our language and sketch how copatterns open new directions for solving problems in the interaction of coinductive and dependent types." @default.
• W4241907611 created "2022-05-12" @default.
• W4241907611 creator A5008534457 @default.
• W4241907611 creator A5044908798 @default.
• W4241907611 creator A5045536693 @default.
• W4241907611 creator A5060337321 @default.
• W4241907611 date "2013-01-23" @default.
• W4241907611 modified "2023-10-18" @default.
• W4241907611 title "Copatterns" @default.
• W4241907611 cites W1480580285 @default.
• W4241907611 cites W1508224656 @default.
• W4241907611 cites W1523149969 @default.
• W4241907611 cites W1744323313 @default.
• W4241907611 cites W1969412609 @default.
• W4241907611 cites W1979392127 @default.
• W4241907611 cites W1980939032 @default.
• W4241907611 cites W1987624682 @default.
• W4241907611 cites W2016326123 @default.
• W4241907611 cites W2025407135 @default.
• W4241907611 cites W2034043336 @default.
• W4241907611 cites W2053198071 @default.
• W4241907611 cites W2062887328 @default.
• W4241907611 cites W2070324762 @default.
• W4241907611 cites W2076578036 @default.
• W4241907611 cites W2096970061 @default.
• W4241907611 cites W2131807903 @default.
• W4241907611 cites W2132936218 @default.
• W4241907611 cites W2148387264 @default.
• W4241907611 cites W2148761448 @default.
• W4241907611 cites W2152635269 @default.
• W4241907611 cites W2160728467 @default.
• W4241907611 cites W2166822586 @default.
• W4241907611 cites W2171496589 @default.
• W4241907611 cites W4236036677 @default.
• W4241907611 cites W4254626787 @default.
• W4241907611 doi "https://doi.org/10.1145/2480359.2429075" @default.
• W4241907611 hasPublicationYear "2013" @default.
• W4241907611 type Work @default.
• W4241907611 citedByCount "15" @default.
• W4241907611 countsByYear W42419076112014 @default.
• W4241907611 countsByYear W42419076112015 @default.
• W4241907611 countsByYear W42419076112017 @default.
• W4241907611 countsByYear W42419076112018 @default.
• W4241907611 countsByYear W42419076112019 @default.
• W4241907611 countsByYear W42419076112020 @default.
• W4241907611 countsByYear W42419076112021 @default.
• W4241907611 countsByYear W42419076112022 @default.
• W4241907611 crossrefType "journal-article" @default.
• W4241907611 hasAuthorship W4241907611A5008534457 @default.
• W4241907611 hasAuthorship W4241907611A5044908798 @default.
• W4241907611 hasAuthorship W4241907611A5045536693 @default.
• W4241907611 hasAuthorship W4241907611A5060337321 @default.
• W4241907611 hasConcept C105795698 @default.
• W4241907611 hasConcept C108710211 @default.
• W4241907611 hasConcept C11413529 @default.
• W4241907611 hasConcept C138958017 @default.
• W4241907611 hasConcept C162319229 @default.
• W4241907611 hasConcept C165064840 @default.
• W4241907611 hasConcept C184337299 @default.
• W4241907611 hasConcept C18903297 @default.
• W4241907611 hasConcept C199360897 @default.
• W4241907611 hasConcept C2524010 @default.
• W4241907611 hasConcept C2777299769 @default.
• W4241907611 hasConcept C2779231336 @default.
• W4241907611 hasConcept C2780624054 @default.
• W4241907611 hasConcept C33923547 @default.
• W4241907611 hasConcept C39920170 @default.
• W4241907611 hasConcept C40220748 @default.
• W4241907611 hasConcept C41008148 @default.
• W4241907611 hasConcept C42383842 @default.
• W4241907611 hasConcept C44779574 @default.
• W4241907611 hasConcept C68859911 @default.
• W4241907611 hasConcept C80444323 @default.
• W4241907611 hasConcept C86803240 @default.
• W4241907611 hasConceptScore W4241907611C105795698 @default.
• W4241907611 hasConceptScore W4241907611C108710211 @default.
• W4241907611 hasConceptScore W4241907611C11413529 @default.
• W4241907611 hasConceptScore W4241907611C138958017 @default.
• W4241907611 hasConceptScore W4241907611C162319229 @default.
• W4241907611 hasConceptScore W4241907611C165064840 @default.
• W4241907611 hasConceptScore W4241907611C184337299 @default.
• W4241907611 hasConceptScore W4241907611C18903297 @default.
• W4241907611 hasConceptScore W4241907611C199360897 @default.
• W4241907611 hasConceptScore W4241907611C2524010 @default.
• W4241907611 hasConceptScore W4241907611C2777299769 @default.
• W4241907611 hasConceptScore W4241907611C2779231336 @default.
• W4241907611 hasConceptScore W4241907611C2780624054 @default.
• W4241907611 hasConceptScore W4241907611C33923547 @default.
• W4241907611 hasConceptScore W4241907611C39920170 @default.
• W4241907611 hasConceptScore W4241907611C40220748 @default.
• W4241907611 hasConceptScore W4241907611C41008148 @default.
• W4241907611 hasConceptScore W4241907611C42383842 @default.
• W4241907611 hasConceptScore W4241907611C44779574 @default.
• W4241907611 hasConceptScore W4241907611C68859911 @default.
• W4241907611 hasConceptScore W4241907611C80444323 @default.
• W4241907611 hasConceptScore W4241907611C86803240 @default.
• W4241907611 hasIssue "1" @default.
• W4241907611 hasLocation W42419076111 @default.

• next