Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891667628> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2891667628 abstract "Support for generalized algebraic data types (GADT) in extensions of Haskell allows functions defined over GADTs to be written without the need for type annotations in some cases, but it requires type annotations in most of them. This paper presents a type inference algorithm for GADTs that extends OutsideIn algorithm using anti-unification to capture the relationship between the types of arguments and result of GADT functions. This approach allows inference in cases where the relationship between types of pattern matches is explicit in the code, allowing the type annotation in cases where the relationship is not explicit." @default.
- W2891667628 created "2018-09-27" @default.
- W2891667628 creator A5017228364 @default.
- W2891667628 creator A5044158889 @default.
- W2891667628 creator A5061049872 @default.
- W2891667628 date "2018-09-20" @default.
- W2891667628 modified "2023-09-24" @default.
- W2891667628 title "Type inference for GADTs, outsidein and anti-unification" @default.
- W2891667628 cites W168996756 @default.
- W2891667628 cites W1897069414 @default.
- W2891667628 cites W1975736938 @default.
- W2891667628 cites W2033174346 @default.
- W2891667628 cites W2043188316 @default.
- W2891667628 cites W2057257598 @default.
- W2891667628 cites W2069858276 @default.
- W2891667628 cites W2080312918 @default.
- W2891667628 cites W2189815185 @default.
- W2891667628 cites W2255732237 @default.
- W2891667628 cites W3019929673 @default.
- W2891667628 cites W4242791220 @default.
- W2891667628 cites W4251772834 @default.
- W2891667628 cites W2003161812 @default.
- W2891667628 doi "https://doi.org/10.1145/3264637.3264644" @default.
- W2891667628 hasPublicationYear "2018" @default.
- W2891667628 type Work @default.
- W2891667628 sameAs 2891667628 @default.
- W2891667628 citedByCount "2" @default.
- W2891667628 countsByYear W28916676282019 @default.
- W2891667628 crossrefType "proceedings-article" @default.
- W2891667628 hasAuthorship W2891667628A5017228364 @default.
- W2891667628 hasAuthorship W2891667628A5044158889 @default.
- W2891667628 hasAuthorship W2891667628A5061049872 @default.
- W2891667628 hasConcept C154945302 @default.
- W2891667628 hasConcept C198370458 @default.
- W2891667628 hasConcept C199360897 @default.
- W2891667628 hasConcept C2776214188 @default.
- W2891667628 hasConcept C41008148 @default.
- W2891667628 hasConcept C96146094 @default.
- W2891667628 hasConceptScore W2891667628C154945302 @default.
- W2891667628 hasConceptScore W2891667628C198370458 @default.
- W2891667628 hasConceptScore W2891667628C199360897 @default.
- W2891667628 hasConceptScore W2891667628C2776214188 @default.
- W2891667628 hasConceptScore W2891667628C41008148 @default.
- W2891667628 hasConceptScore W2891667628C96146094 @default.
- W2891667628 hasLocation W28916676281 @default.
- W2891667628 hasOpenAccess W2891667628 @default.
- W2891667628 hasPrimaryLocation W28916676281 @default.
- W2891667628 hasRelatedWork W1550968892 @default.
- W2891667628 hasRelatedWork W1586852614 @default.
- W2891667628 hasRelatedWork W1703087989 @default.
- W2891667628 hasRelatedWork W2025407135 @default.
- W2891667628 hasRelatedWork W2070088936 @default.
- W2891667628 hasRelatedWork W2140647971 @default.
- W2891667628 hasRelatedWork W2612196189 @default.
- W2891667628 hasRelatedWork W4251772834 @default.
- W2891667628 hasRelatedWork W81024070 @default.
- W2891667628 hasRelatedWork W2484245539 @default.
- W2891667628 isParatext "false" @default.
- W2891667628 isRetracted "false" @default.
- W2891667628 magId "2891667628" @default.
- W2891667628 workType "article" @default.