FRINK Linked Data Fragments server

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

• W2885446918 endingPage "29" @default.
• W2885446918 startingPage "1" @default.
• W2885446918 abstract "We develop a type-theoretical method for optimizing type directed compilation of polymorphic languages, implement the method in SML#, which is a full-scale compiler of Standard ML extended with several advanced features that require type-passing operational semantics, and report its effectiveness through performance evaluation. For this purpose, we first define a predicative second-order lambda calculus with finitary polymorphism, where each type abstraction is explicitly constrained to a finite type universe, and establishes the type soundness with respect to a type-passing operational semantics. Different from a calculus with stratified type universes, type universes of the calculus are terms that represent a finite set of instance types. We then develop a universe reconstruction algorithm that takes a term of the standard second-order lambda calculus, checks if the term is typable with finitary polymorphism, and, if typable, constructs a term in the calculus of finitary polymorphism. Based on these results, we present a type-based optimization method for polymorphic functions. Since our formalism is based on the second-order lambda calculus, it can be used to optimize various polymorphic languages. We implement the optimization method for native (tag-free) data representation and record polymorphism, and evaluate its effectiveness through benchmarks. The evaluation shows that 83.79% of type passing abstractions are eliminated, and achieves the average of 15.28% speed-up of compiled code." @default.
• W2885446918 created "2018-08-22" @default.
• W2885446918 creator A5025264529 @default.
• W2885446918 creator A5046674857 @default.
• W2885446918 creator A5074967267 @default.
• W2885446918 date "2018-07-30" @default.
• W2885446918 modified "2023-10-18" @default.
• W2885446918 title "Finitary polymorphism for optimizing type-directed compilation" @default.
• W2885446918 cites W1990370351 @default.
• W2885446918 cites W2017112188 @default.
• W2885446918 cites W2020543669 @default.
• W2885446918 cites W2030916392 @default.
• W2885446918 cites W2043698751 @default.
• W2885446918 cites W2068465106 @default.
• W2885446918 cites W2070430903 @default.
• W2885446918 cites W2092632814 @default.
• W2885446918 cites W2095136535 @default.
• W2885446918 cites W2105248774 @default.
• W2885446918 cites W2108293574 @default.
• W2885446918 cites W2119240423 @default.
• W2885446918 cites W2131067178 @default.
• W2885446918 cites W2136290535 @default.
• W2885446918 cites W2137783828 @default.
• W2885446918 cites W2159430067 @default.
• W2885446918 cites W2163672025 @default.
• W2885446918 cites W2169761811 @default.
• W2885446918 cites W2171691057 @default.
• W2885446918 cites W2760585651 @default.
• W2885446918 cites W4249355983 @default.
• W2885446918 doi "https://doi.org/10.1145/3236776" @default.
• W2885446918 hasPublicationYear "2018" @default.
• W2885446918 type Work @default.
• W2885446918 sameAs 2885446918 @default.
• W2885446918 citedByCount "0" @default.
• W2885446918 crossrefType "journal-article" @default.
• W2885446918 hasAuthorship W2885446918A5025264529 @default.
• W2885446918 hasAuthorship W2885446918A5046674857 @default.
• W2885446918 hasAuthorship W2885446918A5074967267 @default.
• W2885446918 hasBestOaLocation W28854469181 @default.
• W2885446918 hasConcept C11413529 @default.
• W2885446918 hasConcept C118615104 @default.
• W2885446918 hasConcept C135790938 @default.
• W2885446918 hasConcept C142156749 @default.
• W2885446918 hasConcept C154945302 @default.
• W2885446918 hasConcept C156325763 @default.
• W2885446918 hasConcept C184337299 @default.
• W2885446918 hasConcept C18903297 @default.
• W2885446918 hasConcept C198370458 @default.
• W2885446918 hasConcept C199343813 @default.
• W2885446918 hasConcept C199360897 @default.
• W2885446918 hasConcept C20528804 @default.
• W2885446918 hasConcept C2776214188 @default.
• W2885446918 hasConcept C2777299769 @default.
• W2885446918 hasConcept C2777686260 @default.
• W2885446918 hasConcept C2778003309 @default.
• W2885446918 hasConcept C33923547 @default.
• W2885446918 hasConcept C39920170 @default.
• W2885446918 hasConcept C41008148 @default.
• W2885446918 hasConcept C55128367 @default.
• W2885446918 hasConcept C61237538 @default.
• W2885446918 hasConcept C71924100 @default.
• W2885446918 hasConcept C80444323 @default.
• W2885446918 hasConcept C86803240 @default.
• W2885446918 hasConceptScore W2885446918C11413529 @default.
• W2885446918 hasConceptScore W2885446918C118615104 @default.
• W2885446918 hasConceptScore W2885446918C135790938 @default.
• W2885446918 hasConceptScore W2885446918C142156749 @default.
• W2885446918 hasConceptScore W2885446918C154945302 @default.
• W2885446918 hasConceptScore W2885446918C156325763 @default.
• W2885446918 hasConceptScore W2885446918C184337299 @default.
• W2885446918 hasConceptScore W2885446918C18903297 @default.
• W2885446918 hasConceptScore W2885446918C198370458 @default.
• W2885446918 hasConceptScore W2885446918C199343813 @default.
• W2885446918 hasConceptScore W2885446918C199360897 @default.
• W2885446918 hasConceptScore W2885446918C20528804 @default.
• W2885446918 hasConceptScore W2885446918C2776214188 @default.
• W2885446918 hasConceptScore W2885446918C2777299769 @default.
• W2885446918 hasConceptScore W2885446918C2777686260 @default.
• W2885446918 hasConceptScore W2885446918C2778003309 @default.
• W2885446918 hasConceptScore W2885446918C33923547 @default.
• W2885446918 hasConceptScore W2885446918C39920170 @default.
• W2885446918 hasConceptScore W2885446918C41008148 @default.
• W2885446918 hasConceptScore W2885446918C55128367 @default.
• W2885446918 hasConceptScore W2885446918C61237538 @default.
• W2885446918 hasConceptScore W2885446918C71924100 @default.
• W2885446918 hasConceptScore W2885446918C80444323 @default.
• W2885446918 hasConceptScore W2885446918C86803240 @default.
• W2885446918 hasIssue "ICFP" @default.
• W2885446918 hasLocation W28854469181 @default.
• W2885446918 hasOpenAccess W2885446918 @default.
• W2885446918 hasPrimaryLocation W28854469181 @default.
• W2885446918 hasRelatedWork W1544708439 @default.
• W2885446918 hasRelatedWork W1592799753 @default.
• W2885446918 hasRelatedWork W2003295197 @default.
• W2885446918 hasRelatedWork W2104888341 @default.
• W2885446918 hasRelatedWork W2125333933 @default.
• W2885446918 hasRelatedWork W2129762978 @default.
• W2885446918 hasRelatedWork W2811139380 @default.

• next