Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980953397> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2980953397 endingPage "443" @default.
- W2980953397 startingPage "414" @default.
- W2980953397 abstract "Lambda calculi are often used as intermediate representations for compilers. However, they require extensions to handle higher-level features of programming languages. In this paper we show how to construct an IR based on $$text {System} F_{omega }^mu $$ which supports recursive functions and datatypes, and describe how to compile it to $$text {System} F_{omega }^mu $$ . Our IR was developed for commercial use at the IOHK company, where it is used as part of a compilation pipeline for smart contracts running on a blockchain." @default.
- W2980953397 created "2019-10-25" @default.
- W2980953397 creator A5018878077 @default.
- W2980953397 creator A5029319426 @default.
- W2980953397 creator A5036179845 @default.
- W2980953397 creator A5051904275 @default.
- W2980953397 creator A5065484400 @default.
- W2980953397 creator A5078714488 @default.
- W2980953397 date "2019-01-01" @default.
- W2980953397 modified "2023-09-28" @default.
- W2980953397 title "Unraveling Recursion: Compiling an IR with Recursion to System F" @default.
- W2980953397 cites W1587287586 @default.
- W2980953397 cites W1760139041 @default.
- W2980953397 cites W1984807151 @default.
- W2980953397 cites W2000817748 @default.
- W2980953397 cites W2022683189 @default.
- W2980953397 cites W2048706733 @default.
- W2980953397 cites W2060714535 @default.
- W2980953397 cites W2109404349 @default.
- W2980953397 cites W2121105821 @default.
- W2980953397 cites W2130480853 @default.
- W2980953397 cites W2132558197 @default.
- W2980953397 cites W2145108549 @default.
- W2980953397 cites W2145682273 @default.
- W2980953397 cites W2293338131 @default.
- W2980953397 cites W2565297312 @default.
- W2980953397 cites W2980703959 @default.
- W2980953397 cites W4210711245 @default.
- W2980953397 cites W4235694423 @default.
- W2980953397 cites W4242857932 @default.
- W2980953397 cites W4247458820 @default.
- W2980953397 cites W4252656082 @default.
- W2980953397 doi "https://doi.org/10.1007/978-3-030-33636-3_15" @default.
- W2980953397 hasPublicationYear "2019" @default.
- W2980953397 type Work @default.
- W2980953397 sameAs 2980953397 @default.
- W2980953397 citedByCount "5" @default.
- W2980953397 countsByYear W29809533972019 @default.
- W2980953397 countsByYear W29809533972020 @default.
- W2980953397 countsByYear W29809533972022 @default.
- W2980953397 countsByYear W29809533972023 @default.
- W2980953397 crossrefType "book-chapter" @default.
- W2980953397 hasAuthorship W2980953397A5018878077 @default.
- W2980953397 hasAuthorship W2980953397A5029319426 @default.
- W2980953397 hasAuthorship W2980953397A5036179845 @default.
- W2980953397 hasAuthorship W2980953397A5051904275 @default.
- W2980953397 hasAuthorship W2980953397A5065484400 @default.
- W2980953397 hasAuthorship W2980953397A5078714488 @default.
- W2980953397 hasBestOaLocation W29809533972 @default.
- W2980953397 hasConcept C120665830 @default.
- W2980953397 hasConcept C121332964 @default.
- W2980953397 hasConcept C168773036 @default.
- W2980953397 hasConcept C169590947 @default.
- W2980953397 hasConcept C199360897 @default.
- W2980953397 hasConcept C2778113609 @default.
- W2980953397 hasConcept C2779557605 @default.
- W2980953397 hasConcept C2780801425 @default.
- W2980953397 hasConcept C41008148 @default.
- W2980953397 hasConcept C43521106 @default.
- W2980953397 hasConcept C62520636 @default.
- W2980953397 hasConcept C80444323 @default.
- W2980953397 hasConceptScore W2980953397C120665830 @default.
- W2980953397 hasConceptScore W2980953397C121332964 @default.
- W2980953397 hasConceptScore W2980953397C168773036 @default.
- W2980953397 hasConceptScore W2980953397C169590947 @default.
- W2980953397 hasConceptScore W2980953397C199360897 @default.
- W2980953397 hasConceptScore W2980953397C2778113609 @default.
- W2980953397 hasConceptScore W2980953397C2779557605 @default.
- W2980953397 hasConceptScore W2980953397C2780801425 @default.
- W2980953397 hasConceptScore W2980953397C41008148 @default.
- W2980953397 hasConceptScore W2980953397C43521106 @default.
- W2980953397 hasConceptScore W2980953397C62520636 @default.
- W2980953397 hasConceptScore W2980953397C80444323 @default.
- W2980953397 hasLocation W29809533971 @default.
- W2980953397 hasLocation W29809533972 @default.
- W2980953397 hasOpenAccess W2980953397 @default.
- W2980953397 hasPrimaryLocation W29809533971 @default.
- W2980953397 hasRelatedWork W1497385637 @default.
- W2980953397 hasRelatedWork W1556087793 @default.
- W2980953397 hasRelatedWork W1608659702 @default.
- W2980953397 hasRelatedWork W1977285665 @default.
- W2980953397 hasRelatedWork W2007728761 @default.
- W2980953397 hasRelatedWork W2044422526 @default.
- W2980953397 hasRelatedWork W2192862863 @default.
- W2980953397 hasRelatedWork W2351571780 @default.
- W2980953397 hasRelatedWork W2369288331 @default.
- W2980953397 hasRelatedWork W2740990710 @default.
- W2980953397 isParatext "false" @default.
- W2980953397 isRetracted "false" @default.
- W2980953397 magId "2980953397" @default.
- W2980953397 workType "book-chapter" @default.