Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520200536> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1520200536 endingPage "155" @default.
- W1520200536 startingPage "136" @default.
- W1520200536 abstract "Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of software engineering principles, (2) lays a serious burden on the language implementor, and (3) enforces a runtime overhead due to the necessity of tagging values at runtime. We show that neither (2) nor (3) are inherent to polymorphic equality by showing that one can compile programs with polymorphic equality into programs without polymorphic equality in such a way that there is no need for tagging or for runtime type analysis. Also, the translation is the identity on programs that do not use polymorphic equality. Experimental results indicate that even for programs that use polymorphic equality, the translation gives good results." @default.
- W1520200536 created "2016-06-24" @default.
- W1520200536 creator A5081028559 @default.
- W1520200536 date "1998-01-01" @default.
- W1520200536 modified "2023-09-26" @default.
- W1520200536 title "Polymorphic equality — No tags required" @default.
- W1520200536 cites W1566005068 @default.
- W1520200536 cites W1580664042 @default.
- W1520200536 cites W1829244603 @default.
- W1520200536 cites W1988661738 @default.
- W1520200536 cites W2012781562 @default.
- W1520200536 cites W2017112188 @default.
- W1520200536 cites W2032249605 @default.
- W1520200536 cites W2059895047 @default.
- W1520200536 cites W2086179639 @default.
- W1520200536 cites W2087875803 @default.
- W1520200536 cites W2092632814 @default.
- W1520200536 cites W2151156765 @default.
- W1520200536 cites W2169761811 @default.
- W1520200536 cites W2171691057 @default.
- W1520200536 doi "https://doi.org/10.1007/bfb0055516" @default.
- W1520200536 hasPublicationYear "1998" @default.
- W1520200536 type Work @default.
- W1520200536 sameAs 1520200536 @default.
- W1520200536 citedByCount "9" @default.
- W1520200536 countsByYear W15202005362019 @default.
- W1520200536 countsByYear W15202005362020 @default.
- W1520200536 countsByYear W15202005362021 @default.
- W1520200536 countsByYear W15202005362023 @default.
- W1520200536 crossrefType "book-chapter" @default.
- W1520200536 hasAuthorship W1520200536A5081028559 @default.
- W1520200536 hasConcept C121332964 @default.
- W1520200536 hasConcept C169590947 @default.
- W1520200536 hasConcept C199360897 @default.
- W1520200536 hasConcept C24890656 @default.
- W1520200536 hasConcept C2778355321 @default.
- W1520200536 hasConcept C2778514511 @default.
- W1520200536 hasConcept C2779960059 @default.
- W1520200536 hasConcept C2780801425 @default.
- W1520200536 hasConcept C41008148 @default.
- W1520200536 hasConcept C80444323 @default.
- W1520200536 hasConceptScore W1520200536C121332964 @default.
- W1520200536 hasConceptScore W1520200536C169590947 @default.
- W1520200536 hasConceptScore W1520200536C199360897 @default.
- W1520200536 hasConceptScore W1520200536C24890656 @default.
- W1520200536 hasConceptScore W1520200536C2778355321 @default.
- W1520200536 hasConceptScore W1520200536C2778514511 @default.
- W1520200536 hasConceptScore W1520200536C2779960059 @default.
- W1520200536 hasConceptScore W1520200536C2780801425 @default.
- W1520200536 hasConceptScore W1520200536C41008148 @default.
- W1520200536 hasConceptScore W1520200536C80444323 @default.
- W1520200536 hasLocation W15202005361 @default.
- W1520200536 hasOpenAccess W1520200536 @default.
- W1520200536 hasPrimaryLocation W15202005361 @default.
- W1520200536 hasRelatedWork W1497385637 @default.
- W1520200536 hasRelatedWork W1499296666 @default.
- W1520200536 hasRelatedWork W1608659702 @default.
- W1520200536 hasRelatedWork W1977285665 @default.
- W1520200536 hasRelatedWork W2021040988 @default.
- W1520200536 hasRelatedWork W2192862863 @default.
- W1520200536 hasRelatedWork W2740990710 @default.
- W1520200536 hasRelatedWork W2760941369 @default.
- W1520200536 hasRelatedWork W4254145838 @default.
- W1520200536 hasRelatedWork W1482645738 @default.
- W1520200536 isParatext "false" @default.
- W1520200536 isRetracted "false" @default.
- W1520200536 magId "1520200536" @default.
- W1520200536 workType "book-chapter" @default.