Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248904832> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4248904832 endingPage "77" @default.
- W4248904832 startingPage "66" @default.
- W4248904832 abstract "We present HML, a type inference system that supports full first-class polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be annotated. HML is a simplification of MLF where only flexibly quantified types are used. This makes the types easier to work with from a programmers perspective, and simplifies the implementation of the type inference algorithm. Still, HML retains much of the expressiveness of MLF, it is robust with respect to small program transformations, and has a simple specification of the type rules with an effective type inference algorithm that infers principal types. A small reference implementation with many examples is available at: http://research.microsoft.com/users/daan/pubs.html." @default.
- W4248904832 created "2022-05-12" @default.
- W4248904832 creator A5086447301 @default.
- W4248904832 date "2009-01-21" @default.
- W4248904832 modified "2023-10-18" @default.
- W4248904832 title "Flexible types" @default.
- W4248904832 cites W1974831460 @default.
- W4248904832 cites W1978488127 @default.
- W4248904832 cites W1985088747 @default.
- W4248904832 cites W1993209012 @default.
- W4248904832 cites W2043188316 @default.
- W4248904832 cites W2109131239 @default.
- W4248904832 cites W2131916293 @default.
- W4248904832 cites W2136776287 @default.
- W4248904832 cites W2152534261 @default.
- W4248904832 cites W2154717882 @default.
- W4248904832 cites W2161193752 @default.
- W4248904832 cites W2163976959 @default.
- W4248904832 cites W2166822586 @default.
- W4248904832 cites W4231402167 @default.
- W4248904832 cites W4248324061 @default.
- W4248904832 cites W4250583525 @default.
- W4248904832 doi "https://doi.org/10.1145/1594834.1480891" @default.
- W4248904832 hasPublicationYear "2009" @default.
- W4248904832 type Work @default.
- W4248904832 citedByCount "5" @default.
- W4248904832 countsByYear W42489048322012 @default.
- W4248904832 countsByYear W42489048322018 @default.
- W4248904832 countsByYear W42489048322019 @default.
- W4248904832 countsByYear W42489048322020 @default.
- W4248904832 crossrefType "journal-article" @default.
- W4248904832 hasAuthorship W4248904832A5086447301 @default.
- W4248904832 hasConcept C111472728 @default.
- W4248904832 hasConcept C12713177 @default.
- W4248904832 hasConcept C138885662 @default.
- W4248904832 hasConcept C138958017 @default.
- W4248904832 hasConcept C154945302 @default.
- W4248904832 hasConcept C18903297 @default.
- W4248904832 hasConcept C198370458 @default.
- W4248904832 hasConcept C199360897 @default.
- W4248904832 hasConcept C2776214188 @default.
- W4248904832 hasConcept C2777212361 @default.
- W4248904832 hasConcept C2777299769 @default.
- W4248904832 hasConcept C2780586882 @default.
- W4248904832 hasConcept C41008148 @default.
- W4248904832 hasConcept C44779574 @default.
- W4248904832 hasConcept C80444323 @default.
- W4248904832 hasConcept C86803240 @default.
- W4248904832 hasConcept C93682546 @default.
- W4248904832 hasConceptScore W4248904832C111472728 @default.
- W4248904832 hasConceptScore W4248904832C12713177 @default.
- W4248904832 hasConceptScore W4248904832C138885662 @default.
- W4248904832 hasConceptScore W4248904832C138958017 @default.
- W4248904832 hasConceptScore W4248904832C154945302 @default.
- W4248904832 hasConceptScore W4248904832C18903297 @default.
- W4248904832 hasConceptScore W4248904832C198370458 @default.
- W4248904832 hasConceptScore W4248904832C199360897 @default.
- W4248904832 hasConceptScore W4248904832C2776214188 @default.
- W4248904832 hasConceptScore W4248904832C2777212361 @default.
- W4248904832 hasConceptScore W4248904832C2777299769 @default.
- W4248904832 hasConceptScore W4248904832C2780586882 @default.
- W4248904832 hasConceptScore W4248904832C41008148 @default.
- W4248904832 hasConceptScore W4248904832C44779574 @default.
- W4248904832 hasConceptScore W4248904832C80444323 @default.
- W4248904832 hasConceptScore W4248904832C86803240 @default.
- W4248904832 hasConceptScore W4248904832C93682546 @default.
- W4248904832 hasIssue "1" @default.
- W4248904832 hasLocation W42489048321 @default.
- W4248904832 hasOpenAccess W4248904832 @default.
- W4248904832 hasPrimaryLocation W42489048321 @default.
- W4248904832 hasRelatedWork W1480879962 @default.
- W4248904832 hasRelatedWork W2112150205 @default.
- W4248904832 hasRelatedWork W2118227920 @default.
- W4248904832 hasRelatedWork W2167486301 @default.
- W4248904832 hasRelatedWork W2169148161 @default.
- W4248904832 hasRelatedWork W2763815264 @default.
- W4248904832 hasRelatedWork W2899384793 @default.
- W4248904832 hasRelatedWork W2964853020 @default.
- W4248904832 hasRelatedWork W2979520889 @default.
- W4248904832 hasRelatedWork W4288269312 @default.
- W4248904832 hasVolume "44" @default.
- W4248904832 isParatext "false" @default.
- W4248904832 isRetracted "false" @default.
- W4248904832 workType "article" @default.