FRINK Linked Data Fragments server

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

• W2091769084 abstract "We study the complexity of type inference for a core fragment of ML with lambda abstraction, function application, and the polymorphic let declaration. Our primary technical tool is the unification problem for a class of “polymorphic” type expressions. This form of unification, which we call polymorphic unification, allows us to separate a combinatorial aspect of type inference from the syntax of ML programs. After observing that ML typing is in DEXPTIME, we show that polymorphic unification is PSPACE hard. From this, we prove that recognizing the typable core ML programs is also PSPACE hard. Our lower bound stands in contrast to the common belief that typing ML programs is “efficient,” and to practical experience which suggests that the algorithms commonly used for this task do not slow compilation substantially." @default.
• W2091769084 created "2016-06-24" @default.
• W2091769084 creator A5060775456 @default.
• W2091769084 creator A5082213777 @default.
• W2091769084 date "1989-01-01" @default.
• W2091769084 modified "2023-10-16" @default.
• W2091769084 title "Polymorphic unification and ML typing" @default.
• W2091769084 cites W1567828704 @default.
• W2091769084 cites W1982801224 @default.
• W2091769084 cites W1998084650 @default.
• W2091769084 cites W2011039300 @default.
• W2091769084 cites W2025057593 @default.
• W2091769084 cites W2029917213 @default.
• W2091769084 cites W2056253254 @default.
• W2091769084 cites W2062145157 @default.
• W2091769084 cites W2080040385 @default.
• W2091769084 cites W2100738443 @default.
• W2091769084 cites W2113722134 @default.
• W2091769084 cites W2149906577 @default.
• W2091769084 cites W2151384546 @default.
• W2091769084 cites W2154273644 @default.
• W2091769084 cites W2163976959 @default.
• W2091769084 cites W2166822586 @default.
• W2091769084 cites W2753176400 @default.
• W2091769084 doi "https://doi.org/10.1145/75277.75286" @default.
• W2091769084 hasPublicationYear "1989" @default.
• W2091769084 type Work @default.
• W2091769084 sameAs 2091769084 @default.
• W2091769084 citedByCount "30" @default.
• W2091769084 countsByYear W20917690842021 @default.
• W2091769084 crossrefType "proceedings-article" @default.
• W2091769084 hasAuthorship W2091769084A5060775456 @default.
• W2091769084 hasAuthorship W2091769084A5082213777 @default.
• W2091769084 hasBestOaLocation W20917690841 @default.
• W2091769084 hasConcept C11413529 @default.
• W2091769084 hasConcept C114614502 @default.
• W2091769084 hasConcept C135790938 @default.
• W2091769084 hasConcept C14036430 @default.
• W2091769084 hasConcept C154945302 @default.
• W2091769084 hasConcept C156884757 @default.
• W2091769084 hasConcept C162324750 @default.
• W2091769084 hasConcept C179799912 @default.
• W2091769084 hasConcept C187736073 @default.
• W2091769084 hasConcept C197685441 @default.
• W2091769084 hasConcept C198370458 @default.
• W2091769084 hasConcept C199360897 @default.
• W2091769084 hasConcept C2776214188 @default.
• W2091769084 hasConcept C2777212361 @default.
• W2091769084 hasConcept C2780451532 @default.
• W2091769084 hasConcept C2781209916 @default.
• W2091769084 hasConcept C28490314 @default.
• W2091769084 hasConcept C33923547 @default.
• W2091769084 hasConcept C41008148 @default.
• W2091769084 hasConcept C54355233 @default.
• W2091769084 hasConcept C60048249 @default.
• W2091769084 hasConcept C80444323 @default.
• W2091769084 hasConcept C83852419 @default.
• W2091769084 hasConcept C86803240 @default.
• W2091769084 hasConcept C96146094 @default.
• W2091769084 hasConceptScore W2091769084C11413529 @default.
• W2091769084 hasConceptScore W2091769084C114614502 @default.
• W2091769084 hasConceptScore W2091769084C135790938 @default.
• W2091769084 hasConceptScore W2091769084C14036430 @default.
• W2091769084 hasConceptScore W2091769084C154945302 @default.
• W2091769084 hasConceptScore W2091769084C156884757 @default.
• W2091769084 hasConceptScore W2091769084C162324750 @default.
• W2091769084 hasConceptScore W2091769084C179799912 @default.
• W2091769084 hasConceptScore W2091769084C187736073 @default.
• W2091769084 hasConceptScore W2091769084C197685441 @default.
• W2091769084 hasConceptScore W2091769084C198370458 @default.
• W2091769084 hasConceptScore W2091769084C199360897 @default.
• W2091769084 hasConceptScore W2091769084C2776214188 @default.
• W2091769084 hasConceptScore W2091769084C2777212361 @default.
• W2091769084 hasConceptScore W2091769084C2780451532 @default.
• W2091769084 hasConceptScore W2091769084C2781209916 @default.
• W2091769084 hasConceptScore W2091769084C28490314 @default.
• W2091769084 hasConceptScore W2091769084C33923547 @default.
• W2091769084 hasConceptScore W2091769084C41008148 @default.
• W2091769084 hasConceptScore W2091769084C54355233 @default.
• W2091769084 hasConceptScore W2091769084C60048249 @default.
• W2091769084 hasConceptScore W2091769084C80444323 @default.
• W2091769084 hasConceptScore W2091769084C83852419 @default.
• W2091769084 hasConceptScore W2091769084C86803240 @default.
• W2091769084 hasConceptScore W2091769084C96146094 @default.
• W2091769084 hasLocation W20917690841 @default.
• W2091769084 hasOpenAccess W2091769084 @default.
• W2091769084 hasPrimaryLocation W20917690841 @default.
• W2091769084 hasRelatedWork W1575522358 @default.
• W2091769084 hasRelatedWork W1978692906 @default.
• W2091769084 hasRelatedWork W2091769084 @default.
• W2091769084 hasRelatedWork W2108904538 @default.
• W2091769084 hasRelatedWork W2733168542 @default.
• W2091769084 hasRelatedWork W2763815264 @default.
• W2091769084 hasRelatedWork W3021253659 @default.
• W2091769084 hasRelatedWork W3093453896 @default.
• W2091769084 hasRelatedWork W4246531319 @default.
• W2091769084 hasRelatedWork W1900140818 @default.
• W2091769084 isParatext "false" @default.
• W2091769084 isRetracted "false" @default.
• W2091769084 magId "2091769084" @default.

• next