Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000302180> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2000302180 endingPage "1200" @default.
- W2000302180 startingPage "1190" @default.
- W2000302180 abstract "The Krivine-style evaluation mechanism is well-known in the implementation of higher-order functions, allowing to avoid some useless closure building. There have been a few type systems that can verify the safety of the mechanism. The incorporation of the proposed ideas into an existing compiler, however, would require significant changes in the type system of the compiler due to the use of some dedicated form of types and typing rules in the proposals. This limitation motivates us to propose an alternative light-weight Krivine typing mechanism that does not need to extend any existing type system significantly. This paper shows how GADTs (Generalized algebraic data types) can be used for typing a ZINC machine following the Krivine-style evaluation mechanism. This idea is new as far as we know. Some existing typed compilers like GHC (Glasgow Haskell compiler) already support GADTs; they can benefit from the Krivine-style evaluation mechanism in the operational semantics with no particular extension in their type systems for the safety. We show the GHC type checker allows to prove mechanically that ZINC instructions are well-typed, which highlights the effectiveness of GADTs." @default.
- W2000302180 created "2016-06-24" @default.
- W2000302180 creator A5030995721 @default.
- W2000302180 creator A5090186230 @default.
- W2000302180 date "2011-01-01" @default.
- W2000302180 modified "2023-10-05" @default.
- W2000302180 title "Typing ZINC Machine with Generalized Algebraic Data Types" @default.
- W2000302180 cites W1514384332 @default.
- W2000302180 cites W1558982035 @default.
- W2000302180 cites W1570316772 @default.
- W2000302180 cites W184339100 @default.
- W2000302180 cites W1984514567 @default.
- W2000302180 cites W2056160788 @default.
- W2000302180 cites W2092896144 @default.
- W2000302180 cites W2095621310 @default.
- W2000302180 cites W2097166325 @default.
- W2000302180 cites W2108650361 @default.
- W2000302180 cites W2125690388 @default.
- W2000302180 cites W2129566109 @default.
- W2000302180 cites W2163285555 @default.
- W2000302180 cites W67134903 @default.
- W2000302180 doi "https://doi.org/10.1587/transinf.e94.d.1190" @default.
- W2000302180 hasPublicationYear "2011" @default.
- W2000302180 type Work @default.
- W2000302180 sameAs 2000302180 @default.
- W2000302180 citedByCount "0" @default.
- W2000302180 crossrefType "journal-article" @default.
- W2000302180 hasAuthorship W2000302180A5030995721 @default.
- W2000302180 hasAuthorship W2000302180A5090186230 @default.
- W2000302180 hasBestOaLocation W20003021801 @default.
- W2000302180 hasConcept C111472728 @default.
- W2000302180 hasConcept C138885662 @default.
- W2000302180 hasConcept C138958017 @default.
- W2000302180 hasConcept C146834321 @default.
- W2000302180 hasConcept C162324750 @default.
- W2000302180 hasConcept C169590947 @default.
- W2000302180 hasConcept C199360897 @default.
- W2000302180 hasConcept C2780624054 @default.
- W2000302180 hasConcept C34447519 @default.
- W2000302180 hasConcept C41008148 @default.
- W2000302180 hasConcept C42383842 @default.
- W2000302180 hasConcept C44779574 @default.
- W2000302180 hasConcept C80444323 @default.
- W2000302180 hasConcept C88977235 @default.
- W2000302180 hasConcept C89611455 @default.
- W2000302180 hasConceptScore W2000302180C111472728 @default.
- W2000302180 hasConceptScore W2000302180C138885662 @default.
- W2000302180 hasConceptScore W2000302180C138958017 @default.
- W2000302180 hasConceptScore W2000302180C146834321 @default.
- W2000302180 hasConceptScore W2000302180C162324750 @default.
- W2000302180 hasConceptScore W2000302180C169590947 @default.
- W2000302180 hasConceptScore W2000302180C199360897 @default.
- W2000302180 hasConceptScore W2000302180C2780624054 @default.
- W2000302180 hasConceptScore W2000302180C34447519 @default.
- W2000302180 hasConceptScore W2000302180C41008148 @default.
- W2000302180 hasConceptScore W2000302180C42383842 @default.
- W2000302180 hasConceptScore W2000302180C44779574 @default.
- W2000302180 hasConceptScore W2000302180C80444323 @default.
- W2000302180 hasConceptScore W2000302180C88977235 @default.
- W2000302180 hasConceptScore W2000302180C89611455 @default.
- W2000302180 hasIssue "6" @default.
- W2000302180 hasLocation W20003021801 @default.
- W2000302180 hasOpenAccess W2000302180 @default.
- W2000302180 hasPrimaryLocation W20003021801 @default.
- W2000302180 hasRelatedWork W1573380057 @default.
- W2000302180 hasRelatedWork W2017112188 @default.
- W2000302180 hasRelatedWork W2048706733 @default.
- W2000302180 hasRelatedWork W2157155332 @default.
- W2000302180 hasRelatedWork W2177866842 @default.
- W2000302180 hasRelatedWork W2561717017 @default.
- W2000302180 hasRelatedWork W2760941369 @default.
- W2000302180 hasRelatedWork W3006157134 @default.
- W2000302180 hasRelatedWork W4251805752 @default.
- W2000302180 hasRelatedWork W4252463689 @default.
- W2000302180 hasVolume "E94-D" @default.
- W2000302180 isParatext "false" @default.
- W2000302180 isRetracted "false" @default.
- W2000302180 magId "2000302180" @default.
- W2000302180 workType "article" @default.