FRINK Linked Data Fragments server

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

• W1496705429 endingPage "146" @default.
• W1496705429 startingPage "129" @default.
• W1496705429 abstract "In this paper we introduce an algorithm for detecting strictness information in typed functional programs. Our algorithm is based on a type inference system which allows to exploit the type structure of the language for the investigation of program properties. The detection of strictness information can be performed in a complete way, by reducing it to the solution of a set of constraints involving type variables. A key feature of our method is that it is compositional and there is a notion of principal type scheme. Even though the language considered in the paper is the simply typed lambda-calculus with a fixpoint constructor and arithmetic constants we can generalize our approach to polymorphic languages like Lazy ML. Although focused on strictness our method can also be applied to the investigation of other program properties, like dead code and binding time.KeywordsTerm VariableInference AlgorithmFunctional ProgramBinding TimeProgram PropertyThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W1496705429 created "2016-06-24" @default.
• W1496705429 creator A5057279396 @default.
• W1496705429 creator A5065182304 @default.
• W1496705429 date "1997-01-01" @default.
• W1496705429 modified "2023-09-27" @default.
• W1496705429 title "An inference algorithm for strictness" @default.
• W1496705429 cites W1514992909 @default.
• W1496705429 cites W1584826156 @default.
• W1496705429 cites W1762020135 @default.
• W1496705429 cites W1970227944 @default.
• W1496705429 cites W1986487716 @default.
• W1496705429 cites W2002649310 @default.
• W1496705429 cites W2014387690 @default.
• W1496705429 cites W2017720469 @default.
• W1496705429 cites W2022290763 @default.
• W1496705429 cites W2025033165 @default.
• W1496705429 cites W2085670481 @default.
• W1496705429 cites W2166822586 @default.
• W1496705429 cites W4254818085 @default.
• W1496705429 cites W4256124958 @default.
• W1496705429 doi "https://doi.org/10.1007/3-540-62688-3_33" @default.
• W1496705429 hasPublicationYear "1997" @default.
• W1496705429 type Work @default.
• W1496705429 sameAs 1496705429 @default.
• W1496705429 citedByCount "3" @default.
• W1496705429 crossrefType "book-chapter" @default.
• W1496705429 hasAuthorship W1496705429A5057279396 @default.
• W1496705429 hasAuthorship W1496705429A5065182304 @default.
• W1496705429 hasConcept C11413529 @default.
• W1496705429 hasConcept C134306372 @default.
• W1496705429 hasConcept C138885662 @default.
• W1496705429 hasConcept C154945302 @default.
• W1496705429 hasConcept C162319229 @default.
• W1496705429 hasConcept C165696696 @default.
• W1496705429 hasConcept C177264268 @default.
• W1496705429 hasConcept C18903297 @default.
• W1496705429 hasConcept C198370458 @default.
• W1496705429 hasConcept C199360897 @default.
• W1496705429 hasConcept C26517878 @default.
• W1496705429 hasConcept C2776214188 @default.
• W1496705429 hasConcept C2776401178 @default.
• W1496705429 hasConcept C2777299769 @default.
• W1496705429 hasConcept C2778361913 @default.
• W1496705429 hasConcept C33923547 @default.
• W1496705429 hasConcept C38652104 @default.
• W1496705429 hasConcept C41008148 @default.
• W1496705429 hasConcept C41895202 @default.
• W1496705429 hasConcept C42383842 @default.
• W1496705429 hasConcept C77618280 @default.
• W1496705429 hasConcept C80444323 @default.
• W1496705429 hasConcept C86803240 @default.
• W1496705429 hasConceptScore W1496705429C11413529 @default.
• W1496705429 hasConceptScore W1496705429C134306372 @default.
• W1496705429 hasConceptScore W1496705429C138885662 @default.
• W1496705429 hasConceptScore W1496705429C154945302 @default.
• W1496705429 hasConceptScore W1496705429C162319229 @default.
• W1496705429 hasConceptScore W1496705429C165696696 @default.
• W1496705429 hasConceptScore W1496705429C177264268 @default.
• W1496705429 hasConceptScore W1496705429C18903297 @default.
• W1496705429 hasConceptScore W1496705429C198370458 @default.
• W1496705429 hasConceptScore W1496705429C199360897 @default.
• W1496705429 hasConceptScore W1496705429C26517878 @default.
• W1496705429 hasConceptScore W1496705429C2776214188 @default.
• W1496705429 hasConceptScore W1496705429C2776401178 @default.
• W1496705429 hasConceptScore W1496705429C2777299769 @default.
• W1496705429 hasConceptScore W1496705429C2778361913 @default.
• W1496705429 hasConceptScore W1496705429C33923547 @default.
• W1496705429 hasConceptScore W1496705429C38652104 @default.
• W1496705429 hasConceptScore W1496705429C41008148 @default.
• W1496705429 hasConceptScore W1496705429C41895202 @default.
• W1496705429 hasConceptScore W1496705429C42383842 @default.
• W1496705429 hasConceptScore W1496705429C77618280 @default.
• W1496705429 hasConceptScore W1496705429C80444323 @default.
• W1496705429 hasConceptScore W1496705429C86803240 @default.
• W1496705429 hasLocation W14967054291 @default.
• W1496705429 hasOpenAccess W1496705429 @default.
• W1496705429 hasPrimaryLocation W14967054291 @default.
• W1496705429 hasRelatedWork W1531724428 @default.
• W1496705429 hasRelatedWork W1532750536 @default.
• W1496705429 hasRelatedWork W1542436085 @default.
• W1496705429 hasRelatedWork W1570911130 @default.
• W1496705429 hasRelatedWork W1600280684 @default.
• W1496705429 hasRelatedWork W1600556737 @default.
• W1496705429 hasRelatedWork W1732367193 @default.
• W1496705429 hasRelatedWork W1738841322 @default.
• W1496705429 hasRelatedWork W1835790624 @default.
• W1496705429 hasRelatedWork W1941412300 @default.
• W1496705429 hasRelatedWork W1963954367 @default.
• W1496705429 hasRelatedWork W2017310809 @default.
• W1496705429 hasRelatedWork W2074059134 @default.
• W1496705429 hasRelatedWork W2078122686 @default.
• W1496705429 hasRelatedWork W2110418930 @default.
• W1496705429 hasRelatedWork W2142174207 @default.
• W1496705429 hasRelatedWork W2487799355 @default.
• W1496705429 hasRelatedWork W2983019600 @default.
• W1496705429 hasRelatedWork W3162231075 @default.
• W1496705429 hasRelatedWork W86422705 @default.

• next