FRINK Linked Data Fragments server

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

• W3101389771 endingPage "66" @default.
• W3101389771 startingPage "3" @default.
• W3101389771 abstract "This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct." @default.
• W3101389771 created "2020-11-23" @default.
• W3101389771 creator A5021644096 @default.
• W3101389771 creator A5058330133 @default.
• W3101389771 creator A5083304815 @default.
• W3101389771 date "2009-03-01" @default.
• W3101389771 modified "2023-10-16" @default.
• W3101389771 title "Compilation of extended recursion in call-by-value functional languages" @default.
• W3101389771 cites W1543636295 @default.
• W3101389771 cites W1593771739 @default.
• W3101389771 cites W1783388813 @default.
• W3101389771 cites W181216842 @default.
• W3101389771 cites W1829244603 @default.
• W3101389771 cites W1963658586 @default.
• W3101389771 cites W1980939032 @default.
• W3101389771 cites W2026942132 @default.
• W3101389771 cites W2088735483 @default.
• W3101389771 cites W2095451697 @default.
• W3101389771 cites W2096081453 @default.
• W3101389771 cites W2130480853 @default.
• W3101389771 cites W2150691311 @default.
• W3101389771 cites W2164520529 @default.
• W3101389771 cites W2686043342 @default.
• W3101389771 doi "https://doi.org/10.1007/s10990-009-9042-z" @default.
• W3101389771 hasPublicationYear "2009" @default.
• W3101389771 type Work @default.
• W3101389771 sameAs 3101389771 @default.
• W3101389771 citedByCount "3" @default.
• W3101389771 countsByYear W31013897712017 @default.
• W3101389771 countsByYear W31013897712021 @default.
• W3101389771 countsByYear W31013897712022 @default.
• W3101389771 crossrefType "journal-article" @default.
• W3101389771 hasAuthorship W3101389771A5021644096 @default.
• W3101389771 hasAuthorship W3101389771A5058330133 @default.
• W3101389771 hasAuthorship W3101389771A5083304815 @default.
• W3101389771 hasBestOaLocation W31013897712 @default.
• W3101389771 hasConcept C104317684 @default.
• W3101389771 hasConcept C105580179 @default.
• W3101389771 hasConcept C11413529 @default.
• W3101389771 hasConcept C119857082 @default.
• W3101389771 hasConcept C134306372 @default.
• W3101389771 hasConcept C135790938 @default.
• W3101389771 hasConcept C149364088 @default.
• W3101389771 hasConcept C159985019 @default.
• W3101389771 hasConcept C168773036 @default.
• W3101389771 hasConcept C185592680 @default.
• W3101389771 hasConcept C192562407 @default.
• W3101389771 hasConcept C199360897 @default.
• W3101389771 hasConcept C204323151 @default.
• W3101389771 hasConcept C2776291640 @default.
• W3101389771 hasConcept C33923547 @default.
• W3101389771 hasConcept C41008148 @default.
• W3101389771 hasConcept C42383842 @default.
• W3101389771 hasConcept C55493867 @default.
• W3101389771 hasConcept C77618280 @default.
• W3101389771 hasConcept C80444323 @default.
• W3101389771 hasConceptScore W3101389771C104317684 @default.
• W3101389771 hasConceptScore W3101389771C105580179 @default.
• W3101389771 hasConceptScore W3101389771C11413529 @default.
• W3101389771 hasConceptScore W3101389771C119857082 @default.
• W3101389771 hasConceptScore W3101389771C134306372 @default.
• W3101389771 hasConceptScore W3101389771C135790938 @default.
• W3101389771 hasConceptScore W3101389771C149364088 @default.
• W3101389771 hasConceptScore W3101389771C159985019 @default.
• W3101389771 hasConceptScore W3101389771C168773036 @default.
• W3101389771 hasConceptScore W3101389771C185592680 @default.
• W3101389771 hasConceptScore W3101389771C192562407 @default.
• W3101389771 hasConceptScore W3101389771C199360897 @default.
• W3101389771 hasConceptScore W3101389771C204323151 @default.
• W3101389771 hasConceptScore W3101389771C2776291640 @default.
• W3101389771 hasConceptScore W3101389771C33923547 @default.
• W3101389771 hasConceptScore W3101389771C41008148 @default.
• W3101389771 hasConceptScore W3101389771C42383842 @default.
• W3101389771 hasConceptScore W3101389771C55493867 @default.
• W3101389771 hasConceptScore W3101389771C77618280 @default.
• W3101389771 hasConceptScore W3101389771C80444323 @default.
• W3101389771 hasIssue "1" @default.
• W3101389771 hasLocation W31013897711 @default.
• W3101389771 hasLocation W31013897712 @default.
• W3101389771 hasLocation W31013897713 @default.
• W3101389771 hasLocation W31013897714 @default.
• W3101389771 hasLocation W31013897715 @default.
• W3101389771 hasLocation W31013897716 @default.
• W3101389771 hasLocation W31013897717 @default.
• W3101389771 hasLocation W31013897718 @default.
• W3101389771 hasOpenAccess W3101389771 @default.
• W3101389771 hasPrimaryLocation W31013897711 @default.
• W3101389771 hasRelatedWork W1587224678 @default.
• W3101389771 hasRelatedWork W1601811574 @default.
• W3101389771 hasRelatedWork W1803721540 @default.
• W3101389771 hasRelatedWork W1987052335 @default.
• W3101389771 hasRelatedWork W2087060298 @default.
• W3101389771 hasRelatedWork W2107774494 @default.
• W3101389771 hasRelatedWork W2142224267 @default.
• W3101389771 hasRelatedWork W3101389771 @default.
• W3101389771 hasRelatedWork W3157866078 @default.
• W3101389771 hasRelatedWork W2987009148 @default.
• W3101389771 hasVolume "22" @default.

• next