FRINK Linked Data Fragments server

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

• W3215094100 endingPage "31" @default.
• W3215094100 startingPage "1" @default.
• W3215094100 abstract "We extend classic union and intersection type systems with a type-case construction and show that the combination of the union elimination rule of the former and the typing rules for type-cases of our extension encompasses occurrence typing . To apply this system in practice, we define a canonical form for the expressions of our extension, called MSC-form. We show that an expression of the extension is typable if and only if its MSC-form is, and reduce the problem of typing the latter to the one of reconstructing annotations for that term. We provide a sound algorithm that performs this reconstruction and a proof-of-concept implementation." @default.
• W3215094100 created "2021-12-06" @default.
• W3215094100 creator A5006031542 @default.
• W3215094100 creator A5017654779 @default.
• W3215094100 creator A5049677372 @default.
• W3215094100 creator A5084702945 @default.
• W3215094100 date "2022-01-12" @default.
• W3215094100 modified "2023-09-30" @default.
• W3215094100 title "On type-cases, union elimination, and occurrence typing" @default.
• W3215094100 cites W1968426557 @default.
• W3215094100 cites W1973186567 @default.
• W3215094100 cites W1980939032 @default.
• W3215094100 cites W1988897846 @default.
• W3215094100 cites W1990370351 @default.
• W3215094100 cites W2017274604 @default.
• W3215094100 cites W2036676170 @default.
• W3215094100 cites W2087871591 @default.
• W3215094100 cites W2090415524 @default.
• W3215094100 cites W2091335641 @default.
• W3215094100 cites W2091657052 @default.
• W3215094100 cites W2096368963 @default.
• W3215094100 cites W2166129645 @default.
• W3215094100 cites W2295020882 @default.
• W3215094100 cites W2295923951 @default.
• W3215094100 cites W2415457035 @default.
• W3215094100 cites W2751329183 @default.
• W3215094100 cites W2889794696 @default.
• W3215094100 cites W2900351133 @default.
• W3215094100 cites W2962829798 @default.
• W3215094100 cites W2963937673 @default.
• W3215094100 cites W314815265 @default.
• W3215094100 cites W4206058289 @default.
• W3215094100 cites W4247531708 @default.
• W3215094100 doi "https://doi.org/10.1145/3498674" @default.
• W3215094100 hasPublicationYear "2022" @default.
• W3215094100 type Work @default.
• W3215094100 sameAs 3215094100 @default.
• W3215094100 citedByCount "4" @default.
• W3215094100 countsByYear W32150941002021 @default.
• W3215094100 countsByYear W32150941002022 @default.
• W3215094100 countsByYear W32150941002023 @default.
• W3215094100 crossrefType "journal-article" @default.
• W3215094100 hasAuthorship W3215094100A5006031542 @default.
• W3215094100 hasAuthorship W3215094100A5017654779 @default.
• W3215094100 hasAuthorship W3215094100A5049677372 @default.
• W3215094100 hasAuthorship W3215094100A5084702945 @default.
• W3215094100 hasBestOaLocation W32150941001 @default.
• W3215094100 hasConcept C121332964 @default.
• W3215094100 hasConcept C136119220 @default.
• W3215094100 hasConcept C154945302 @default.
• W3215094100 hasConcept C18903297 @default.
• W3215094100 hasConcept C199360897 @default.
• W3215094100 hasConcept C202444582 @default.
• W3215094100 hasConcept C205649164 @default.
• W3215094100 hasConcept C2777299769 @default.
• W3215094100 hasConcept C2778029271 @default.
• W3215094100 hasConcept C2781209916 @default.
• W3215094100 hasConcept C28490314 @default.
• W3215094100 hasConcept C33923547 @default.
• W3215094100 hasConcept C41008148 @default.
• W3215094100 hasConcept C58640448 @default.
• W3215094100 hasConcept C61797465 @default.
• W3215094100 hasConcept C62520636 @default.
• W3215094100 hasConcept C64543145 @default.
• W3215094100 hasConcept C86803240 @default.
• W3215094100 hasConceptScore W3215094100C121332964 @default.
• W3215094100 hasConceptScore W3215094100C136119220 @default.
• W3215094100 hasConceptScore W3215094100C154945302 @default.
• W3215094100 hasConceptScore W3215094100C18903297 @default.
• W3215094100 hasConceptScore W3215094100C199360897 @default.
• W3215094100 hasConceptScore W3215094100C202444582 @default.
• W3215094100 hasConceptScore W3215094100C205649164 @default.
• W3215094100 hasConceptScore W3215094100C2777299769 @default.
• W3215094100 hasConceptScore W3215094100C2778029271 @default.
• W3215094100 hasConceptScore W3215094100C2781209916 @default.
• W3215094100 hasConceptScore W3215094100C28490314 @default.
• W3215094100 hasConceptScore W3215094100C33923547 @default.
• W3215094100 hasConceptScore W3215094100C41008148 @default.
• W3215094100 hasConceptScore W3215094100C58640448 @default.
• W3215094100 hasConceptScore W3215094100C61797465 @default.
• W3215094100 hasConceptScore W3215094100C62520636 @default.
• W3215094100 hasConceptScore W3215094100C64543145 @default.
• W3215094100 hasConceptScore W3215094100C86803240 @default.
• W3215094100 hasFunder F4320320883 @default.
• W3215094100 hasIssue "POPL" @default.
• W3215094100 hasLocation W32150941001 @default.
• W3215094100 hasLocation W32150941002 @default.
• W3215094100 hasLocation W32150941003 @default.
• W3215094100 hasLocation W32150941004 @default.
• W3215094100 hasLocation W32150941005 @default.
• W3215094100 hasLocation W32150941006 @default.
• W3215094100 hasLocation W32150941007 @default.
• W3215094100 hasOpenAccess W3215094100 @default.
• W3215094100 hasPrimaryLocation W32150941001 @default.
• W3215094100 hasRelatedWork W2112962394 @default.
• W3215094100 hasRelatedWork W2118300983 @default.
• W3215094100 hasRelatedWork W2166247150 @default.
• W3215094100 hasRelatedWork W2352495365 @default.

• next