Matches in SemOpenAlex for { <https://semopenalex.org/work/W1593771739> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1593771739 endingPage "20" @default.
- W1593771739 startingPage "6" @default.
- W1593771739 abstract "The ML module system provides powerful parameterization facilities, but lacks the ability to split mutually recursive definitions across modules, and does not provide enough facilities for incremental programming. A promising approach to solve these issues is Ancona and Zucca’s mixin modules calculus CMS. However, the straightforward way to adapt it to ML fails, because it allows arbitrary recursive definitions to appear at any time, which ML does not support. In this paper, we enrich CMS with a refined type system that controls recursive definitions through the use of dependency graphs. We then develop a separate compilation scheme, directed by dependency graphs, that translate mixin modules down to a CBV λ-calculus extended with a non-standard let rec construct." @default.
- W1593771739 created "2016-06-24" @default.
- W1593771739 creator A5021644096 @default.
- W1593771739 creator A5058330133 @default.
- W1593771739 date "2002-01-01" @default.
- W1593771739 modified "2023-09-25" @default.
- W1593771739 title "Mixin Modules in a Call-by-Value Setting" @default.
- W1593771739 cites W1534678063 @default.
- W1593771739 cites W1576418074 @default.
- W1593771739 cites W1593771739 @default.
- W1593771739 cites W1652670524 @default.
- W1593771739 cites W1885197558 @default.
- W1593771739 cites W1963658586 @default.
- W1593771739 cites W2005221219 @default.
- W1593771739 cites W2043261859 @default.
- W1593771739 cites W2048569219 @default.
- W1593771739 cites W2095451697 @default.
- W1593771739 cites W2135785452 @default.
- W1593771739 cites W2145945984 @default.
- W1593771739 cites W2295135584 @default.
- W1593771739 cites W4233881619 @default.
- W1593771739 doi "https://doi.org/10.1007/3-540-45927-8_2" @default.
- W1593771739 hasPublicationYear "2002" @default.
- W1593771739 type Work @default.
- W1593771739 sameAs 1593771739 @default.
- W1593771739 citedByCount "42" @default.
- W1593771739 countsByYear W15937717392012 @default.
- W1593771739 countsByYear W15937717392014 @default.
- W1593771739 countsByYear W15937717392016 @default.
- W1593771739 crossrefType "book-chapter" @default.
- W1593771739 hasAuthorship W1593771739A5021644096 @default.
- W1593771739 hasAuthorship W1593771739A5058330133 @default.
- W1593771739 hasBestOaLocation W15937717391 @default.
- W1593771739 hasConcept C115903868 @default.
- W1593771739 hasConcept C134306372 @default.
- W1593771739 hasConcept C16311509 @default.
- W1593771739 hasConcept C19768560 @default.
- W1593771739 hasConcept C199360897 @default.
- W1593771739 hasConcept C2777904410 @default.
- W1593771739 hasConcept C2780801425 @default.
- W1593771739 hasConcept C33923547 @default.
- W1593771739 hasConcept C41008148 @default.
- W1593771739 hasConcept C77618280 @default.
- W1593771739 hasConcept C80444323 @default.
- W1593771739 hasConceptScore W1593771739C115903868 @default.
- W1593771739 hasConceptScore W1593771739C134306372 @default.
- W1593771739 hasConceptScore W1593771739C16311509 @default.
- W1593771739 hasConceptScore W1593771739C19768560 @default.
- W1593771739 hasConceptScore W1593771739C199360897 @default.
- W1593771739 hasConceptScore W1593771739C2777904410 @default.
- W1593771739 hasConceptScore W1593771739C2780801425 @default.
- W1593771739 hasConceptScore W1593771739C33923547 @default.
- W1593771739 hasConceptScore W1593771739C41008148 @default.
- W1593771739 hasConceptScore W1593771739C77618280 @default.
- W1593771739 hasConceptScore W1593771739C80444323 @default.
- W1593771739 hasLocation W15937717391 @default.
- W1593771739 hasLocation W15937717392 @default.
- W1593771739 hasLocation W15937717393 @default.
- W1593771739 hasLocation W15937717394 @default.
- W1593771739 hasLocation W15937717395 @default.
- W1593771739 hasLocation W15937717396 @default.
- W1593771739 hasLocation W15937717397 @default.
- W1593771739 hasOpenAccess W1593771739 @default.
- W1593771739 hasPrimaryLocation W15937717391 @default.
- W1593771739 hasRelatedWork W1481869731 @default.
- W1593771739 hasRelatedWork W2002897948 @default.
- W1593771739 hasRelatedWork W2013991769 @default.
- W1593771739 hasRelatedWork W2112258778 @default.
- W1593771739 hasRelatedWork W2159078082 @default.
- W1593771739 hasRelatedWork W2200456380 @default.
- W1593771739 hasRelatedWork W2583162387 @default.
- W1593771739 hasRelatedWork W2903136963 @default.
- W1593771739 hasRelatedWork W2980202602 @default.
- W1593771739 hasRelatedWork W4300999886 @default.
- W1593771739 isParatext "false" @default.
- W1593771739 isRetracted "false" @default.
- W1593771739 magId "1593771739" @default.
- W1593771739 workType "book-chapter" @default.