FRINK Linked Data Fragments server

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

• W2056557620 abstract "We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types---known from work on soft typing---with annotation subtyping and recursive types. This way, type clashes can be registered in the type for later reporting. The annotations track the potential producers and consumers for each value so that clashes can be traced to their cause.Every term is typeable in our system and type inference is decidable. A type derivation in our system describes all type errors present in the program, so that a principal derivation yields a principal description of all type errors present. Error messages are derived from completed type derivations. Thus, error messages are independent of the particular algorithm used for type inference, provided it constructs such a derivation." @default.
• W2056557620 created "2016-06-24" @default.
• W2056557620 creator A5000384936 @default.
• W2056557620 creator A5023648513 @default.
• W2056557620 date "2003-08-25" @default.
• W2056557620 modified "2023-10-17" @default.
• W2056557620 title "Discriminative sum types locate the source of type errors" @default.
• W2056557620 cites W1963954367 @default.
• W2056557620 cites W1999707021 @default.
• W2056557620 cites W1999764179 @default.
• W2056557620 cites W2003715144 @default.
• W2056557620 cites W2014387690 @default.
• W2056557620 cites W2015256273 @default.
• W2056557620 cites W2034379323 @default.
• W2056557620 cites W2036378583 @default.
• W2056557620 cites W2045313089 @default.
• W2056557620 cites W2051328776 @default.
• W2056557620 cites W2053118768 @default.
• W2056557620 cites W2055720078 @default.
• W2056557620 cites W2055886480 @default.
• W2056557620 cites W2056310485 @default.
• W2056557620 cites W2062727459 @default.
• W2056557620 cites W2087272670 @default.
• W2056557620 cites W2121038016 @default.
• W2056557620 cites W2133828278 @default.
• W2056557620 cites W2163976959 @default.
• W2056557620 cites W2166822586 @default.
• W2056557620 cites W2168280960 @default.
• W2056557620 cites W2293770661 @default.
• W2056557620 cites W2296090196 @default.
• W2056557620 cites W4252649616 @default.
• W2056557620 doi "https://doi.org/10.1145/944705.944708" @default.
• W2056557620 hasPublicationYear "2003" @default.
• W2056557620 type Work @default.
• W2056557620 sameAs 2056557620 @default.
• W2056557620 citedByCount "26" @default.
• W2056557620 countsByYear W20565576202013 @default.
• W2056557620 countsByYear W20565576202014 @default.
• W2056557620 countsByYear W20565576202015 @default.
• W2056557620 countsByYear W20565576202016 @default.
• W2056557620 countsByYear W20565576202017 @default.
• W2056557620 countsByYear W20565576202018 @default.
• W2056557620 countsByYear W20565576202019 @default.
• W2056557620 countsByYear W20565576202020 @default.
• W2056557620 crossrefType "proceedings-article" @default.
• W2056557620 hasAuthorship W2056557620A5000384936 @default.
• W2056557620 hasAuthorship W2056557620A5023648513 @default.
• W2056557620 hasBestOaLocation W20565576202 @default.
• W2056557620 hasConcept C111919701 @default.
• W2056557620 hasConcept C11413529 @default.
• W2056557620 hasConcept C121332964 @default.
• W2056557620 hasConcept C144559511 @default.
• W2056557620 hasConcept C153269930 @default.
• W2056557620 hasConcept C154945302 @default.
• W2056557620 hasConcept C18903297 @default.
• W2056557620 hasConcept C198370458 @default.
• W2056557620 hasConcept C199360897 @default.
• W2056557620 hasConcept C204321447 @default.
• W2056557620 hasConcept C2776214188 @default.
• W2056557620 hasConcept C2777299769 @default.
• W2056557620 hasConcept C41008148 @default.
• W2056557620 hasConcept C61797465 @default.
• W2056557620 hasConcept C62520636 @default.
• W2056557620 hasConcept C80444323 @default.
• W2056557620 hasConcept C83852419 @default.
• W2056557620 hasConcept C86803240 @default.
• W2056557620 hasConcept C93682546 @default.
• W2056557620 hasConcept C97931131 @default.
• W2056557620 hasConceptScore W2056557620C111919701 @default.
• W2056557620 hasConceptScore W2056557620C11413529 @default.
• W2056557620 hasConceptScore W2056557620C121332964 @default.
• W2056557620 hasConceptScore W2056557620C144559511 @default.
• W2056557620 hasConceptScore W2056557620C153269930 @default.
• W2056557620 hasConceptScore W2056557620C154945302 @default.
• W2056557620 hasConceptScore W2056557620C18903297 @default.
• W2056557620 hasConceptScore W2056557620C198370458 @default.
• W2056557620 hasConceptScore W2056557620C199360897 @default.
• W2056557620 hasConceptScore W2056557620C204321447 @default.
• W2056557620 hasConceptScore W2056557620C2776214188 @default.
• W2056557620 hasConceptScore W2056557620C2777299769 @default.
• W2056557620 hasConceptScore W2056557620C41008148 @default.
• W2056557620 hasConceptScore W2056557620C61797465 @default.
• W2056557620 hasConceptScore W2056557620C62520636 @default.
• W2056557620 hasConceptScore W2056557620C80444323 @default.
• W2056557620 hasConceptScore W2056557620C83852419 @default.
• W2056557620 hasConceptScore W2056557620C86803240 @default.
• W2056557620 hasConceptScore W2056557620C93682546 @default.
• W2056557620 hasConceptScore W2056557620C97931131 @default.
• W2056557620 hasLocation W20565576201 @default.
• W2056557620 hasLocation W20565576202 @default.
• W2056557620 hasOpenAccess W2056557620 @default.
• W2056557620 hasPrimaryLocation W20565576201 @default.
• W2056557620 hasRelatedWork W1576690287 @default.
• W2056557620 hasRelatedWork W1703087989 @default.
• W2056557620 hasRelatedWork W1810290248 @default.
• W2056557620 hasRelatedWork W1978692906 @default.
• W2056557620 hasRelatedWork W2999374896 @default.
• W2056557620 hasRelatedWork W3093453896 @default.
• W2056557620 hasRelatedWork W4242791220 @default.
• W2056557620 hasRelatedWork W4298104918 @default.

• next