Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034609032> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2034609032 abstract "We present a functional language featuring a form of dynamic overloading akin to message passing in object oriented languages. We give a dynamic semantics describing a non-deterministic evaluation, as well as a type discipline (static semantics) supporting type inference. The type system ensures that a well-typed program has a correct execution, unique up to a semantic equivalence relation, and allows this execution to proceed deterministically, while resolving overloading at run-time." @default.
- W2034609032 created "2016-06-24" @default.
- W2034609032 creator A5039836615 @default.
- W2034609032 date "1990-01-01" @default.
- W2034609032 modified "2023-10-18" @default.
- W2034609032 title "Safe run-time overloading" @default.
- W2034609032 cites W1495143894 @default.
- W2034609032 cites W1783314273 @default.
- W2034609032 cites W2015256273 @default.
- W2034609032 cites W2027657506 @default.
- W2034609032 cites W2030611910 @default.
- W2034609032 cites W2038497675 @default.
- W2034609032 cites W2053664570 @default.
- W2034609032 cites W2059895047 @default.
- W2034609032 cites W2121038016 @default.
- W2034609032 cites W2153060956 @default.
- W2034609032 cites W2163976959 @default.
- W2034609032 cites W2166822586 @default.
- W2034609032 cites W2168529278 @default.
- W2034609032 doi "https://doi.org/10.1145/96709.96746" @default.
- W2034609032 hasPublicationYear "1990" @default.
- W2034609032 type Work @default.
- W2034609032 sameAs 2034609032 @default.
- W2034609032 citedByCount "20" @default.
- W2034609032 countsByYear W20346090322019 @default.
- W2034609032 countsByYear W20346090322020 @default.
- W2034609032 crossrefType "proceedings-article" @default.
- W2034609032 hasAuthorship W2034609032A5039836615 @default.
- W2034609032 hasConcept C138885662 @default.
- W2034609032 hasConcept C154945302 @default.
- W2034609032 hasConcept C156325763 @default.
- W2034609032 hasConcept C184337299 @default.
- W2034609032 hasConcept C198370458 @default.
- W2034609032 hasConcept C199360897 @default.
- W2034609032 hasConcept C25343380 @default.
- W2034609032 hasConcept C2776214188 @default.
- W2034609032 hasConcept C2780069185 @default.
- W2034609032 hasConcept C41008148 @default.
- W2034609032 hasConcept C41895202 @default.
- W2034609032 hasConcept C44779574 @default.
- W2034609032 hasConcept C77088390 @default.
- W2034609032 hasConcept C80444323 @default.
- W2034609032 hasConceptScore W2034609032C138885662 @default.
- W2034609032 hasConceptScore W2034609032C154945302 @default.
- W2034609032 hasConceptScore W2034609032C156325763 @default.
- W2034609032 hasConceptScore W2034609032C184337299 @default.
- W2034609032 hasConceptScore W2034609032C198370458 @default.
- W2034609032 hasConceptScore W2034609032C199360897 @default.
- W2034609032 hasConceptScore W2034609032C25343380 @default.
- W2034609032 hasConceptScore W2034609032C2776214188 @default.
- W2034609032 hasConceptScore W2034609032C2780069185 @default.
- W2034609032 hasConceptScore W2034609032C41008148 @default.
- W2034609032 hasConceptScore W2034609032C41895202 @default.
- W2034609032 hasConceptScore W2034609032C44779574 @default.
- W2034609032 hasConceptScore W2034609032C77088390 @default.
- W2034609032 hasConceptScore W2034609032C80444323 @default.
- W2034609032 hasLocation W20346090321 @default.
- W2034609032 hasOpenAccess W2034609032 @default.
- W2034609032 hasPrimaryLocation W20346090321 @default.
- W2034609032 hasRelatedWork W1482532369 @default.
- W2034609032 hasRelatedWork W1587224678 @default.
- W2034609032 hasRelatedWork W1987203566 @default.
- W2034609032 hasRelatedWork W2034609032 @default.
- W2034609032 hasRelatedWork W2125333933 @default.
- W2034609032 hasRelatedWork W2172149339 @default.
- W2034609032 hasRelatedWork W2763815264 @default.
- W2034609032 hasRelatedWork W2915995131 @default.
- W2034609032 hasRelatedWork W3016782088 @default.
- W2034609032 hasRelatedWork W3021003119 @default.
- W2034609032 isParatext "false" @default.
- W2034609032 isRetracted "false" @default.
- W2034609032 magId "2034609032" @default.
- W2034609032 workType "article" @default.