Matches in SemOpenAlex for { <https://semopenalex.org/work/W2059860151> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2059860151 endingPage "149" @default.
- W2059860151 startingPage "138" @default.
- W2059860151 abstract "Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normalization and type inference. We show how the success of type inference is fundamentally related to the amnesia of the type system: the nonlinearity by which all instances of a variable are constrained to have the same type.Recent work on intersection types has advocated their usefulness for static analysis and modular compilation. We analyze System-I (and some instances of its descendant, System E), an intersection type system with a type inference algorithm. Because System-I lacks idempotency , each occurrence of a variable requires a distinct type. Consequently, type inference is equivalent to normalization in every single case , and time bounds on type inference and normalization are identical. Similar relationships hold for other intersection type systems without idempotency.The analysis is founded on an investigation of the relationship between linear logic and intersection types. We show a lockstep correspondence between normalization and type inference. The latter shows the promise of intersection types to facilitate static analyses of varied granularity, but also belies an immense challenge: to add amnesia to such analysis without losing all of its benefits." @default.
- W2059860151 created "2016-06-24" @default.
- W2059860151 creator A5028117463 @default.
- W2059860151 creator A5091120658 @default.
- W2059860151 date "2004-09-19" @default.
- W2059860151 modified "2023-10-17" @default.
- W2059860151 title "Types, potency, and idempotency" @default.
- W2059860151 cites W1547926009 @default.
- W2059860151 cites W1952931766 @default.
- W2059860151 cites W1976808561 @default.
- W2059860151 cites W1980647766 @default.
- W2059860151 cites W1988983596 @default.
- W2059860151 cites W1993209012 @default.
- W2059860151 cites W2002689571 @default.
- W2059860151 cites W2016076634 @default.
- W2059860151 cites W2019553601 @default.
- W2059860151 cites W2020543669 @default.
- W2059860151 cites W2021217869 @default.
- W2059860151 cites W2047914100 @default.
- W2059860151 cites W2048919922 @default.
- W2059860151 cites W2057292961 @default.
- W2059860151 cites W2063179190 @default.
- W2059860151 cites W2065693797 @default.
- W2059860151 cites W2067567074 @default.
- W2059860151 cites W2072881702 @default.
- W2059860151 cites W2087381628 @default.
- W2059860151 cites W2112391755 @default.
- W2059860151 cites W2119240423 @default.
- W2059860151 cites W2119756648 @default.
- W2059860151 cites W2123812977 @default.
- W2059860151 cites W2164105904 @default.
- W2059860151 cites W2166822586 @default.
- W2059860151 cites W2167050676 @default.
- W2059860151 cites W2167904762 @default.
- W2059860151 doi "https://doi.org/10.1145/1016848.1016871" @default.
- W2059860151 hasPublicationYear "2004" @default.
- W2059860151 type Work @default.
- W2059860151 sameAs 2059860151 @default.
- W2059860151 citedByCount "21" @default.
- W2059860151 countsByYear W20598601512013 @default.
- W2059860151 countsByYear W20598601512014 @default.
- W2059860151 countsByYear W20598601512015 @default.
- W2059860151 countsByYear W20598601512016 @default.
- W2059860151 countsByYear W20598601512017 @default.
- W2059860151 countsByYear W20598601512018 @default.
- W2059860151 countsByYear W20598601512019 @default.
- W2059860151 countsByYear W20598601512020 @default.
- W2059860151 countsByYear W20598601512022 @default.
- W2059860151 crossrefType "journal-article" @default.
- W2059860151 hasAuthorship W2059860151A5028117463 @default.
- W2059860151 hasAuthorship W2059860151A5091120658 @default.
- W2059860151 hasConcept C11413529 @default.
- W2059860151 hasConcept C136886441 @default.
- W2059860151 hasConcept C144024400 @default.
- W2059860151 hasConcept C154945302 @default.
- W2059860151 hasConcept C169272836 @default.
- W2059860151 hasConcept C19165224 @default.
- W2059860151 hasConcept C198370458 @default.
- W2059860151 hasConcept C2776214188 @default.
- W2059860151 hasConcept C41008148 @default.
- W2059860151 hasConcept C80444323 @default.
- W2059860151 hasConceptScore W2059860151C11413529 @default.
- W2059860151 hasConceptScore W2059860151C136886441 @default.
- W2059860151 hasConceptScore W2059860151C144024400 @default.
- W2059860151 hasConceptScore W2059860151C154945302 @default.
- W2059860151 hasConceptScore W2059860151C169272836 @default.
- W2059860151 hasConceptScore W2059860151C19165224 @default.
- W2059860151 hasConceptScore W2059860151C198370458 @default.
- W2059860151 hasConceptScore W2059860151C2776214188 @default.
- W2059860151 hasConceptScore W2059860151C41008148 @default.
- W2059860151 hasConceptScore W2059860151C80444323 @default.
- W2059860151 hasIssue "9" @default.
- W2059860151 hasLocation W20598601511 @default.
- W2059860151 hasOpenAccess W2059860151 @default.
- W2059860151 hasPrimaryLocation W20598601511 @default.
- W2059860151 hasRelatedWork W1559992293 @default.
- W2059860151 hasRelatedWork W1989315443 @default.
- W2059860151 hasRelatedWork W2037309121 @default.
- W2059860151 hasRelatedWork W2141007910 @default.
- W2059860151 hasRelatedWork W2155154734 @default.
- W2059860151 hasRelatedWork W2494200839 @default.
- W2059860151 hasRelatedWork W2548165777 @default.
- W2059860151 hasRelatedWork W2612196189 @default.
- W2059860151 hasRelatedWork W2981145471 @default.
- W2059860151 hasRelatedWork W4384615857 @default.
- W2059860151 hasVolume "39" @default.
- W2059860151 isParatext "false" @default.
- W2059860151 isRetracted "false" @default.
- W2059860151 magId "2059860151" @default.
- W2059860151 workType "article" @default.