Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125048909> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2125048909 abstract "Partial types for the lambda-calculus were introduced by Thatte in 1988 as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persistent data In that paper he showed that type inference for partial types was semidecidable. Decidability remained open until quite recently, when O'Keefe and Wand gave an exponential time algorithm for type inference.<p>In this paper we give an O(n^3) algorithm. Our algorithm constructs a certain finite automaton that represents a canonical solution to a given set of type constraints. Moreover, the construction works equally well for recursive types; this solves an open problem stated by O'Keefe and Wand.</p>" @default.
- W2125048909 created "2016-06-24" @default.
- W2125048909 creator A5011356414 @default.
- W2125048909 creator A5053923311 @default.
- W2125048909 creator A5066751232 @default.
- W2125048909 date "1992-04-01" @default.
- W2125048909 modified "2023-09-25" @default.
- W2125048909 title "Efficient Inference of Partial Types" @default.
- W2125048909 doi "https://doi.org/10.7146/dpb.v21i394.6629" @default.
- W2125048909 hasPublicationYear "1992" @default.
- W2125048909 type Work @default.
- W2125048909 sameAs 2125048909 @default.
- W2125048909 citedByCount "8" @default.
- W2125048909 crossrefType "journal-article" @default.
- W2125048909 hasAuthorship W2125048909A5011356414 @default.
- W2125048909 hasAuthorship W2125048909A5053923311 @default.
- W2125048909 hasAuthorship W2125048909A5066751232 @default.
- W2125048909 hasBestOaLocation W21250489091 @default.
- W2125048909 hasConcept C111472728 @default.
- W2125048909 hasConcept C112505250 @default.
- W2125048909 hasConcept C11413529 @default.
- W2125048909 hasConcept C118615104 @default.
- W2125048909 hasConcept C136119220 @default.
- W2125048909 hasConcept C138885662 @default.
- W2125048909 hasConcept C153269930 @default.
- W2125048909 hasConcept C154945302 @default.
- W2125048909 hasConcept C177264268 @default.
- W2125048909 hasConcept C182359184 @default.
- W2125048909 hasConcept C18903297 @default.
- W2125048909 hasConcept C198370458 @default.
- W2125048909 hasConcept C199343813 @default.
- W2125048909 hasConcept C199360897 @default.
- W2125048909 hasConcept C202444582 @default.
- W2125048909 hasConcept C2776214188 @default.
- W2125048909 hasConcept C2777299769 @default.
- W2125048909 hasConcept C2777686260 @default.
- W2125048909 hasConcept C2780586882 @default.
- W2125048909 hasConcept C33923547 @default.
- W2125048909 hasConcept C41008148 @default.
- W2125048909 hasConcept C71924100 @default.
- W2125048909 hasConcept C80444323 @default.
- W2125048909 hasConcept C86803240 @default.
- W2125048909 hasConceptScore W2125048909C111472728 @default.
- W2125048909 hasConceptScore W2125048909C112505250 @default.
- W2125048909 hasConceptScore W2125048909C11413529 @default.
- W2125048909 hasConceptScore W2125048909C118615104 @default.
- W2125048909 hasConceptScore W2125048909C136119220 @default.
- W2125048909 hasConceptScore W2125048909C138885662 @default.
- W2125048909 hasConceptScore W2125048909C153269930 @default.
- W2125048909 hasConceptScore W2125048909C154945302 @default.
- W2125048909 hasConceptScore W2125048909C177264268 @default.
- W2125048909 hasConceptScore W2125048909C182359184 @default.
- W2125048909 hasConceptScore W2125048909C18903297 @default.
- W2125048909 hasConceptScore W2125048909C198370458 @default.
- W2125048909 hasConceptScore W2125048909C199343813 @default.
- W2125048909 hasConceptScore W2125048909C199360897 @default.
- W2125048909 hasConceptScore W2125048909C202444582 @default.
- W2125048909 hasConceptScore W2125048909C2776214188 @default.
- W2125048909 hasConceptScore W2125048909C2777299769 @default.
- W2125048909 hasConceptScore W2125048909C2777686260 @default.
- W2125048909 hasConceptScore W2125048909C2780586882 @default.
- W2125048909 hasConceptScore W2125048909C33923547 @default.
- W2125048909 hasConceptScore W2125048909C41008148 @default.
- W2125048909 hasConceptScore W2125048909C71924100 @default.
- W2125048909 hasConceptScore W2125048909C80444323 @default.
- W2125048909 hasConceptScore W2125048909C86803240 @default.
- W2125048909 hasIssue "394" @default.
- W2125048909 hasLocation W21250489091 @default.
- W2125048909 hasOpenAccess W2125048909 @default.
- W2125048909 hasPrimaryLocation W21250489091 @default.
- W2125048909 hasRelatedWork W1481489425 @default.
- W2125048909 hasRelatedWork W1548616325 @default.
- W2125048909 hasRelatedWork W1550049051 @default.
- W2125048909 hasRelatedWork W1569589535 @default.
- W2125048909 hasRelatedWork W2104862163 @default.
- W2125048909 hasRelatedWork W2154390633 @default.
- W2125048909 hasRelatedWork W2154717882 @default.
- W2125048909 hasRelatedWork W2188022130 @default.
- W2125048909 hasRelatedWork W2776018879 @default.
- W2125048909 hasRelatedWork W4242791220 @default.
- W2125048909 hasVolume "21" @default.
- W2125048909 isParatext "false" @default.
- W2125048909 isRetracted "false" @default.
- W2125048909 magId "2125048909" @default.
- W2125048909 workType "article" @default.