FRINK Linked Data Fragments server

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

• W2912259974 endingPage "524" @default.
• W2912259974 startingPage "493" @default.
• W2912259974 abstract "This article describes a general framework for designing purely functional datatypes that automatically satisfy given size or structural constraints. Using the framework we develop implementations of different matrix types (for example, square matrices) and implementations of several tree types (for example, Braun trees and 2-3 trees). Consider representing square n × n matrices. The usual representation using lists of lists fails to meet the structural constraints: there is no way to ensure that the outer list and the inner lists have the same length. The main idea of our approach is to solve in a first step a related, but simpler problem, namely to generate the multiset of all square numbers. To describe this multiset we employ recursion equations involving finite multisets, multiset union, addition and multiplication lifted to multisets. In a second step we mechanically derive from these recursion equations datatype definitions that enforce the ‘squareness’ constraint. The transformation makes essential use of parameterized types." @default.
• W2912259974 created "2019-02-21" @default.
• W2912259974 creator A5063247380 @default.
• W2912259974 date "2001-08-29" @default.
• W2912259974 modified "2023-10-17" @default.
• W2912259974 title "Manufacturing datatypes" @default.
• W2912259974 cites W1483200291 @default.
• W2912259974 cites W1492124994 @default.
• W2912259974 cites W157707294 @default.
• W2912259974 cites W1608714802 @default.
• W2912259974 cites W172574161 @default.
• W2912259974 cites W1838013829 @default.
• W2912259974 cites W1854584052 @default.
• W2912259974 cites W1861320704 @default.
• W2912259974 cites W1979323701 @default.
• W2912259974 cites W2027048725 @default.
• W2912259974 cites W2048306076 @default.
• W2912259974 cites W2056253254 @default.
• W2912259974 cites W2095624220 @default.
• W2912259974 cites W2105045857 @default.
• W2912259974 cites W2123032498 @default.
• W2912259974 cites W2143566245 @default.
• W2912259974 cites W2154632906 @default.
• W2912259974 cites W2752885492 @default.
• W2912259974 cites W2753176400 @default.
• W2912259974 cites W2912293148 @default.
• W2912259974 cites W2913811625 @default.
• W2912259974 cites W3198470706 @default.
• W2912259974 cites W1490426557 @default.
• W2912259974 doi "https://doi.org/10.1017/s095679680100404x" @default.
• W2912259974 hasPublicationYear "2001" @default.
• W2912259974 type Work @default.
• W2912259974 sameAs 2912259974 @default.
• W2912259974 citedByCount "27" @default.
• W2912259974 countsByYear W29122599742016 @default.
• W2912259974 countsByYear W29122599742017 @default.
• W2912259974 countsByYear W29122599742018 @default.
• W2912259974 countsByYear W29122599742022 @default.
• W2912259974 crossrefType "journal-article" @default.
• W2912259974 hasAuthorship W2912259974A5063247380 @default.
• W2912259974 hasConcept C104317684 @default.
• W2912259974 hasConcept C113174947 @default.
• W2912259974 hasConcept C11413529 @default.
• W2912259974 hasConcept C114614502 @default.
• W2912259974 hasConcept C118615104 @default.
• W2912259974 hasConcept C135692309 @default.
• W2912259974 hasConcept C136119220 @default.
• W2912259974 hasConcept C165464430 @default.
• W2912259974 hasConcept C168773036 @default.
• W2912259974 hasConcept C17744445 @default.
• W2912259974 hasConcept C185592680 @default.
• W2912259974 hasConcept C199360897 @default.
• W2912259974 hasConcept C199539241 @default.
• W2912259974 hasConcept C202444582 @default.
• W2912259974 hasConcept C204241405 @default.
• W2912259974 hasConcept C2524010 @default.
• W2912259974 hasConcept C26713055 @default.
• W2912259974 hasConcept C2776036281 @default.
• W2912259974 hasConcept C2776359362 @default.
• W2912259974 hasConcept C2779623528 @default.
• W2912259974 hasConcept C33923547 @default.
• W2912259974 hasConcept C41008148 @default.
• W2912259974 hasConcept C55493867 @default.
• W2912259974 hasConcept C80444323 @default.
• W2912259974 hasConcept C94625758 @default.
• W2912259974 hasConceptScore W2912259974C104317684 @default.
• W2912259974 hasConceptScore W2912259974C113174947 @default.
• W2912259974 hasConceptScore W2912259974C11413529 @default.
• W2912259974 hasConceptScore W2912259974C114614502 @default.
• W2912259974 hasConceptScore W2912259974C118615104 @default.
• W2912259974 hasConceptScore W2912259974C135692309 @default.
• W2912259974 hasConceptScore W2912259974C136119220 @default.
• W2912259974 hasConceptScore W2912259974C165464430 @default.
• W2912259974 hasConceptScore W2912259974C168773036 @default.
• W2912259974 hasConceptScore W2912259974C17744445 @default.
• W2912259974 hasConceptScore W2912259974C185592680 @default.
• W2912259974 hasConceptScore W2912259974C199360897 @default.
• W2912259974 hasConceptScore W2912259974C199539241 @default.
• W2912259974 hasConceptScore W2912259974C202444582 @default.
• W2912259974 hasConceptScore W2912259974C204241405 @default.
• W2912259974 hasConceptScore W2912259974C2524010 @default.
• W2912259974 hasConceptScore W2912259974C26713055 @default.
• W2912259974 hasConceptScore W2912259974C2776036281 @default.
• W2912259974 hasConceptScore W2912259974C2776359362 @default.
• W2912259974 hasConceptScore W2912259974C2779623528 @default.
• W2912259974 hasConceptScore W2912259974C33923547 @default.
• W2912259974 hasConceptScore W2912259974C41008148 @default.
• W2912259974 hasConceptScore W2912259974C55493867 @default.
• W2912259974 hasConceptScore W2912259974C80444323 @default.
• W2912259974 hasConceptScore W2912259974C94625758 @default.
• W2912259974 hasIssue "5" @default.
• W2912259974 hasLocation W29122599741 @default.
• W2912259974 hasOpenAccess W2912259974 @default.
• W2912259974 hasPrimaryLocation W29122599741 @default.
• W2912259974 hasRelatedWork W1564286197 @default.
• W2912259974 hasRelatedWork W1576701404 @default.
• W2912259974 hasRelatedWork W20126484 @default.
• W2912259974 hasRelatedWork W2122253589 @default.

• next