Matches in SemOpenAlex for { <https://semopenalex.org/work/W1762020135> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1762020135 endingPage "135" @default.
- W1762020135 startingPage "118" @default.
- W1762020135 abstract "The combination of parameter polymorphism, subtyping extended to qualified and polymorphic types, and polymorphic recursion is useful in standard type inference and gives expressive type-based program analyses, but raises difficult algorithmic problems.In a program analysis context we show how Mycroft's iterative method of computing principal types for a type system with polymorphic recursion can be generalized and adapted to work in a setting with subtyping. This does not only yield a proof of existence of principal types (most general properties), but also an algorithm for computing them. The punch-line of the development is that a very simple modification of the basic algorithm reduces its computational complexity from exponential time to polynomial time relative to the size of the given, explicitly typed program.This solves the open problem of finding an inference algorithm for polymorphic binding-time analysis [7]." @default.
- W1762020135 created "2016-06-24" @default.
- W1762020135 creator A5018836017 @default.
- W1762020135 creator A5019052981 @default.
- W1762020135 creator A5045204080 @default.
- W1762020135 date "1995-01-01" @default.
- W1762020135 modified "2023-10-18" @default.
- W1762020135 title "Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time" @default.
- W1762020135 cites W1519142519 @default.
- W1762020135 cites W1994511561 @default.
- W1762020135 cites W2154632906 @default.
- W1762020135 cites W2163976959 @default.
- W1762020135 cites W2166822586 @default.
- W1762020135 cites W2169611723 @default.
- W1762020135 doi "https://doi.org/10.1007/3-540-60360-3_36" @default.
- W1762020135 hasPublicationYear "1995" @default.
- W1762020135 type Work @default.
- W1762020135 sameAs 1762020135 @default.
- W1762020135 citedByCount "40" @default.
- W1762020135 countsByYear W17620201352014 @default.
- W1762020135 countsByYear W17620201352020 @default.
- W1762020135 crossrefType "book-chapter" @default.
- W1762020135 hasAuthorship W1762020135A5018836017 @default.
- W1762020135 hasAuthorship W1762020135A5019052981 @default.
- W1762020135 hasAuthorship W1762020135A5045204080 @default.
- W1762020135 hasBestOaLocation W17620201352 @default.
- W1762020135 hasConcept C11413529 @default.
- W1762020135 hasConcept C134306372 @default.
- W1762020135 hasConcept C154945302 @default.
- W1762020135 hasConcept C168773036 @default.
- W1762020135 hasConcept C18903297 @default.
- W1762020135 hasConcept C198370458 @default.
- W1762020135 hasConcept C199360897 @default.
- W1762020135 hasConcept C2776214188 @default.
- W1762020135 hasConcept C2777299769 @default.
- W1762020135 hasConcept C311688 @default.
- W1762020135 hasConcept C33923547 @default.
- W1762020135 hasConcept C41008148 @default.
- W1762020135 hasConcept C80444323 @default.
- W1762020135 hasConcept C83852419 @default.
- W1762020135 hasConcept C86803240 @default.
- W1762020135 hasConcept C90119067 @default.
- W1762020135 hasConceptScore W1762020135C11413529 @default.
- W1762020135 hasConceptScore W1762020135C134306372 @default.
- W1762020135 hasConceptScore W1762020135C154945302 @default.
- W1762020135 hasConceptScore W1762020135C168773036 @default.
- W1762020135 hasConceptScore W1762020135C18903297 @default.
- W1762020135 hasConceptScore W1762020135C198370458 @default.
- W1762020135 hasConceptScore W1762020135C199360897 @default.
- W1762020135 hasConceptScore W1762020135C2776214188 @default.
- W1762020135 hasConceptScore W1762020135C2777299769 @default.
- W1762020135 hasConceptScore W1762020135C311688 @default.
- W1762020135 hasConceptScore W1762020135C33923547 @default.
- W1762020135 hasConceptScore W1762020135C41008148 @default.
- W1762020135 hasConceptScore W1762020135C80444323 @default.
- W1762020135 hasConceptScore W1762020135C83852419 @default.
- W1762020135 hasConceptScore W1762020135C86803240 @default.
- W1762020135 hasConceptScore W1762020135C90119067 @default.
- W1762020135 hasLocation W17620201351 @default.
- W1762020135 hasLocation W17620201352 @default.
- W1762020135 hasOpenAccess W1762020135 @default.
- W1762020135 hasPrimaryLocation W17620201351 @default.
- W1762020135 hasRelatedWork W1762020135 @default.
- W1762020135 hasRelatedWork W1978692906 @default.
- W1762020135 hasRelatedWork W2079752311 @default.
- W1762020135 hasRelatedWork W2156211387 @default.
- W1762020135 hasRelatedWork W2733168542 @default.
- W1762020135 hasRelatedWork W3093453896 @default.
- W1762020135 hasRelatedWork W4213039069 @default.
- W1762020135 hasRelatedWork W4242791220 @default.
- W1762020135 hasRelatedWork W54523939 @default.
- W1762020135 hasRelatedWork W1900140818 @default.
- W1762020135 isParatext "false" @default.
- W1762020135 isRetracted "false" @default.
- W1762020135 magId "1762020135" @default.
- W1762020135 workType "book-chapter" @default.