Matches in SemOpenAlex for { <https://semopenalex.org/work/W2255732237> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2255732237 abstract "We present a new method for GADT type inference that improves the precision of previous approaches. In particular, our approach accepts more type-correct programs than previous approaches when they do not employ type annotations. A side benefit of our approach is that it can detect a wide range of runtime errors that are missed by previous approaches. Our method is based on the idea to represent type refinements in pattern-matching branches by choice types, which facilitate a separation of the typing and reconciliation phases and thus support case expressions. This idea is formalized in a type system, which is both sound and a conservative extension of the classical Hindley-Milner system. We present the results of an empirical evaluation that compares our algorithm with previous approaches." @default.
- W2255732237 created "2016-06-24" @default.
- W2255732237 creator A5002319878 @default.
- W2255732237 creator A5078733350 @default.
- W2255732237 date "2016-01-11" @default.
- W2255732237 modified "2023-10-10" @default.
- W2255732237 title "Principal type inference for GADTs" @default.
- W2255732237 cites W168996756 @default.
- W2255732237 cites W1964952791 @default.
- W2255732237 cites W1978363953 @default.
- W2255732237 cites W1984514567 @default.
- W2255732237 cites W2009093319 @default.
- W2255732237 cites W2009288394 @default.
- W2255732237 cites W2011725693 @default.
- W2255732237 cites W2033174346 @default.
- W2255732237 cites W2055065270 @default.
- W2255732237 cites W2069858276 @default.
- W2255732237 cites W2074096153 @default.
- W2255732237 cites W2082043541 @default.
- W2255732237 cites W2082691724 @default.
- W2255732237 cites W2093737074 @default.
- W2255732237 cites W2106009651 @default.
- W2255732237 cites W2106799975 @default.
- W2255732237 cites W2121787849 @default.
- W2255732237 cites W2136177623 @default.
- W2255732237 cites W2140647971 @default.
- W2255732237 cites W2154390633 @default.
- W2255732237 cites W2163976959 @default.
- W2255732237 cites W2166129645 @default.
- W2255732237 doi "https://doi.org/10.1145/2837614.2837665" @default.
- W2255732237 hasPublicationYear "2016" @default.
- W2255732237 type Work @default.
- W2255732237 sameAs 2255732237 @default.
- W2255732237 citedByCount "10" @default.
- W2255732237 countsByYear W22557322372016 @default.
- W2255732237 countsByYear W22557322372017 @default.
- W2255732237 countsByYear W22557322372018 @default.
- W2255732237 countsByYear W22557322372019 @default.
- W2255732237 countsByYear W22557322372020 @default.
- W2255732237 countsByYear W22557322372022 @default.
- W2255732237 crossrefType "proceedings-article" @default.
- W2255732237 hasAuthorship W2255732237A5002319878 @default.
- W2255732237 hasAuthorship W2255732237A5078733350 @default.
- W2255732237 hasBestOaLocation W22557322371 @default.
- W2255732237 hasConcept C105795698 @default.
- W2255732237 hasConcept C11413529 @default.
- W2255732237 hasConcept C124101348 @default.
- W2255732237 hasConcept C154945302 @default.
- W2255732237 hasConcept C159985019 @default.
- W2255732237 hasConcept C165064840 @default.
- W2255732237 hasConcept C18903297 @default.
- W2255732237 hasConcept C192562407 @default.
- W2255732237 hasConcept C198370458 @default.
- W2255732237 hasConcept C199360897 @default.
- W2255732237 hasConcept C204323151 @default.
- W2255732237 hasConcept C2776214188 @default.
- W2255732237 hasConcept C2777299769 @default.
- W2255732237 hasConcept C2778029271 @default.
- W2255732237 hasConcept C33923547 @default.
- W2255732237 hasConcept C41008148 @default.
- W2255732237 hasConcept C86803240 @default.
- W2255732237 hasConceptScore W2255732237C105795698 @default.
- W2255732237 hasConceptScore W2255732237C11413529 @default.
- W2255732237 hasConceptScore W2255732237C124101348 @default.
- W2255732237 hasConceptScore W2255732237C154945302 @default.
- W2255732237 hasConceptScore W2255732237C159985019 @default.
- W2255732237 hasConceptScore W2255732237C165064840 @default.
- W2255732237 hasConceptScore W2255732237C18903297 @default.
- W2255732237 hasConceptScore W2255732237C192562407 @default.
- W2255732237 hasConceptScore W2255732237C198370458 @default.
- W2255732237 hasConceptScore W2255732237C199360897 @default.
- W2255732237 hasConceptScore W2255732237C204323151 @default.
- W2255732237 hasConceptScore W2255732237C2776214188 @default.
- W2255732237 hasConceptScore W2255732237C2777299769 @default.
- W2255732237 hasConceptScore W2255732237C2778029271 @default.
- W2255732237 hasConceptScore W2255732237C33923547 @default.
- W2255732237 hasConceptScore W2255732237C41008148 @default.
- W2255732237 hasConceptScore W2255732237C86803240 @default.
- W2255732237 hasFunder F4320306076 @default.
- W2255732237 hasLocation W22557322371 @default.
- W2255732237 hasOpenAccess W2255732237 @default.
- W2255732237 hasPrimaryLocation W22557322371 @default.
- W2255732237 hasRelatedWork W1548616325 @default.
- W2255732237 hasRelatedWork W1941412300 @default.
- W2255732237 hasRelatedWork W1977621403 @default.
- W2255732237 hasRelatedWork W2068383718 @default.
- W2255732237 hasRelatedWork W2156211387 @default.
- W2255732237 hasRelatedWork W2804371217 @default.
- W2255732237 hasRelatedWork W2963764498 @default.
- W2255732237 hasRelatedWork W4246881098 @default.
- W2255732237 hasRelatedWork W4297831890 @default.
- W2255732237 hasRelatedWork W999480832 @default.
- W2255732237 isParatext "false" @default.
- W2255732237 isRetracted "false" @default.
- W2255732237 magId "2255732237" @default.
- W2255732237 workType "article" @default.