Matches in SemOpenAlex for { <https://semopenalex.org/work/W2472577279> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2472577279 abstract "Wepresentanon-standard typeassignmentsystemandsim- plications mappings for detecting and removing useless-codein simply typed functional programs with algebraic datatypes and recursive func- tions. We characterize two classes of useless-code: the dead-code,that is code that is never executed under the lazy-call-by-name evaluation, and the minimum-information-code,that iscode that contributes to the computation only with a minimum amount of constant information." @default.
- W2472577279 created "2016-07-22" @default.
- W2472577279 creator A5065182304 @default.
- W2472577279 date "1999-01-01" @default.
- W2472577279 modified "2023-09-24" @default.
- W2472577279 title "Useless-Code Detection and Elimination for PCF with Algebraic Data Types (Extended Abstract)" @default.
- W2472577279 cites W1600213446 @default.
- W2472577279 cites W1987868327 @default.
- W2472577279 cites W2007270285 @default.
- W2472577279 cites W2035401157 @default.
- W2472577279 cites W2062108951 @default.
- W2472577279 cites W2086054252 @default.
- W2472577279 cites W2103196544 @default.
- W2472577279 cites W2131558630 @default.
- W2472577279 cites W2914260883 @default.
- W2472577279 cites W2990518766 @default.
- W2472577279 hasPublicationYear "1999" @default.
- W2472577279 type Work @default.
- W2472577279 sameAs 2472577279 @default.
- W2472577279 citedByCount "0" @default.
- W2472577279 crossrefType "journal-article" @default.
- W2472577279 hasAuthorship W2472577279A5065182304 @default.
- W2472577279 hasConcept C11413529 @default.
- W2472577279 hasConcept C134306372 @default.
- W2472577279 hasConcept C177264268 @default.
- W2472577279 hasConcept C199360897 @default.
- W2472577279 hasConcept C2776760102 @default.
- W2472577279 hasConcept C2777027219 @default.
- W2472577279 hasConcept C33923547 @default.
- W2472577279 hasConcept C41008148 @default.
- W2472577279 hasConcept C80444323 @default.
- W2472577279 hasConcept C9376300 @default.
- W2472577279 hasConceptScore W2472577279C11413529 @default.
- W2472577279 hasConceptScore W2472577279C134306372 @default.
- W2472577279 hasConceptScore W2472577279C177264268 @default.
- W2472577279 hasConceptScore W2472577279C199360897 @default.
- W2472577279 hasConceptScore W2472577279C2776760102 @default.
- W2472577279 hasConceptScore W2472577279C2777027219 @default.
- W2472577279 hasConceptScore W2472577279C33923547 @default.
- W2472577279 hasConceptScore W2472577279C41008148 @default.
- W2472577279 hasConceptScore W2472577279C80444323 @default.
- W2472577279 hasConceptScore W2472577279C9376300 @default.
- W2472577279 hasLocation W24725772791 @default.
- W2472577279 hasOpenAccess W2472577279 @default.
- W2472577279 hasPrimaryLocation W24725772791 @default.
- W2472577279 hasRelatedWork W1519343834 @default.
- W2472577279 hasRelatedWork W1523147308 @default.
- W2472577279 hasRelatedWork W1551189225 @default.
- W2472577279 hasRelatedWork W1579446522 @default.
- W2472577279 hasRelatedWork W1600213446 @default.
- W2472577279 hasRelatedWork W1856462361 @default.
- W2472577279 hasRelatedWork W2038768587 @default.
- W2472577279 hasRelatedWork W2068219251 @default.
- W2472577279 hasRelatedWork W2079573490 @default.
- W2472577279 hasRelatedWork W2082051985 @default.
- W2472577279 hasRelatedWork W2101228844 @default.
- W2472577279 hasRelatedWork W2109729512 @default.
- W2472577279 hasRelatedWork W2153293846 @default.
- W2472577279 hasRelatedWork W2166858727 @default.
- W2472577279 hasRelatedWork W2204251273 @default.
- W2472577279 hasRelatedWork W2302344383 @default.
- W2472577279 hasRelatedWork W2776901225 @default.
- W2472577279 hasRelatedWork W2906278101 @default.
- W2472577279 hasRelatedWork W811696972 @default.
- W2472577279 hasRelatedWork W131123555 @default.
- W2472577279 isParatext "false" @default.
- W2472577279 isRetracted "false" @default.
- W2472577279 magId "2472577279" @default.
- W2472577279 workType "article" @default.