Matches in SemOpenAlex for { <https://semopenalex.org/work/W1584265030> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1584265030 abstract "There is a middle ground between parametric and ad-hoc polymorphism in which a computation can depend upon a type parameter but is restricted to being defined at all types in an inductive fashion. We call such polymorphism non-parametric. We show how non-parametric polymorphism can be used to implement a variety of useful language mechanisms including overloading, unboxed data representations in the presence of ML-style polymorphism, and canonical representations of equivalent types. Moreover, we show that, by using a second-order, explicitly typed language extended with non-parametric operations, these mechanisms can be implemented without having to tag data with type information at runtime. Finally, we demonstrate that this approach retains a phase distinction permitting type checking and separate compilation. Our aim is to provide a unifying language, translation, and proof framework in which a variety of non-parametric mechanisms can be expressed and verified." @default.
- W1584265030 created "2016-06-24" @default.
- W1584265030 creator A5028720578 @default.
- W1584265030 creator A5064972235 @default.
- W1584265030 date "1994-02-01" @default.
- W1584265030 modified "2023-09-22" @default.
- W1584265030 title "Compiling with Non-Parametric Polymorphism (Preliminary Report)" @default.
- W1584265030 hasPublicationYear "1994" @default.
- W1584265030 type Work @default.
- W1584265030 sameAs 1584265030 @default.
- W1584265030 citedByCount "4" @default.
- W1584265030 crossrefType "journal-article" @default.
- W1584265030 hasAuthorship W1584265030A5028720578 @default.
- W1584265030 hasAuthorship W1584265030A5064972235 @default.
- W1584265030 hasConcept C105795698 @default.
- W1584265030 hasConcept C117251300 @default.
- W1584265030 hasConcept C136197465 @default.
- W1584265030 hasConcept C154945302 @default.
- W1584265030 hasConcept C199360897 @default.
- W1584265030 hasConcept C204321447 @default.
- W1584265030 hasConcept C33923547 @default.
- W1584265030 hasConcept C41008148 @default.
- W1584265030 hasConcept C45374587 @default.
- W1584265030 hasConcept C80444323 @default.
- W1584265030 hasConceptScore W1584265030C105795698 @default.
- W1584265030 hasConceptScore W1584265030C117251300 @default.
- W1584265030 hasConceptScore W1584265030C136197465 @default.
- W1584265030 hasConceptScore W1584265030C154945302 @default.
- W1584265030 hasConceptScore W1584265030C199360897 @default.
- W1584265030 hasConceptScore W1584265030C204321447 @default.
- W1584265030 hasConceptScore W1584265030C33923547 @default.
- W1584265030 hasConceptScore W1584265030C41008148 @default.
- W1584265030 hasConceptScore W1584265030C45374587 @default.
- W1584265030 hasConceptScore W1584265030C80444323 @default.
- W1584265030 hasLocation W15842650301 @default.
- W1584265030 hasOpenAccess W1584265030 @default.
- W1584265030 hasPrimaryLocation W15842650301 @default.
- W1584265030 hasRelatedWork W101440863 @default.
- W1584265030 hasRelatedWork W1503871268 @default.
- W1584265030 hasRelatedWork W1529124067 @default.
- W1584265030 hasRelatedWork W1557199137 @default.
- W1584265030 hasRelatedWork W1569892421 @default.
- W1584265030 hasRelatedWork W1595173666 @default.
- W1584265030 hasRelatedWork W1601722070 @default.
- W1584265030 hasRelatedWork W1862164572 @default.
- W1584265030 hasRelatedWork W1993237902 @default.
- W1584265030 hasRelatedWork W2005271522 @default.
- W1584265030 hasRelatedWork W2021447352 @default.
- W1584265030 hasRelatedWork W2041659737 @default.
- W1584265030 hasRelatedWork W2112121519 @default.
- W1584265030 hasRelatedWork W2112150205 @default.
- W1584265030 hasRelatedWork W2123969074 @default.
- W1584265030 hasRelatedWork W2140373520 @default.
- W1584265030 hasRelatedWork W2152534261 @default.
- W1584265030 hasRelatedWork W2293189033 @default.
- W1584265030 hasRelatedWork W2563592207 @default.
- W1584265030 hasRelatedWork W3070889539 @default.
- W1584265030 isParatext "false" @default.
- W1584265030 isRetracted "false" @default.
- W1584265030 magId "1584265030" @default.
- W1584265030 workType "article" @default.