Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897797446> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2897797446 abstract "Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives. It has been studied only for strict languages, and it is unsound for non-strict semantics. In this work, we study how to adapt this approach to non-strict languages: in particular, we define a type system using semantic subtyping for a functional language with a call-by-need semantics. We do so by introducing an explicit representation for divergence in the types, so that the type system distinguishes expressions that are results from those which are computations that might diverge." @default.
- W2897797446 created "2018-10-26" @default.
- W2897797446 creator A5036812254 @default.
- W2897797446 creator A5042112791 @default.
- W2897797446 creator A5046299910 @default.
- W2897797446 creator A5084702945 @default.
- W2897797446 date "2018-10-12" @default.
- W2897797446 modified "2023-09-27" @default.
- W2897797446 title "Semantic subtyping for non-strict languages." @default.
- W2897797446 hasPublicationYear "2018" @default.
- W2897797446 type Work @default.
- W2897797446 sameAs 2897797446 @default.
- W2897797446 citedByCount "0" @default.
- W2897797446 crossrefType "posted-content" @default.
- W2897797446 hasAuthorship W2897797446A5036812254 @default.
- W2897797446 hasAuthorship W2897797446A5042112791 @default.
- W2897797446 hasAuthorship W2897797446A5046299910 @default.
- W2897797446 hasAuthorship W2897797446A5084702945 @default.
- W2897797446 hasConcept C127413603 @default.
- W2897797446 hasConcept C146978453 @default.
- W2897797446 hasConcept C17744445 @default.
- W2897797446 hasConcept C184337299 @default.
- W2897797446 hasConcept C18903297 @default.
- W2897797446 hasConcept C199360897 @default.
- W2897797446 hasConcept C199539241 @default.
- W2897797446 hasConcept C2776359362 @default.
- W2897797446 hasConcept C2777299769 @default.
- W2897797446 hasConcept C41008148 @default.
- W2897797446 hasConcept C64543145 @default.
- W2897797446 hasConcept C83852419 @default.
- W2897797446 hasConcept C86803240 @default.
- W2897797446 hasConcept C94625758 @default.
- W2897797446 hasConceptScore W2897797446C127413603 @default.
- W2897797446 hasConceptScore W2897797446C146978453 @default.
- W2897797446 hasConceptScore W2897797446C17744445 @default.
- W2897797446 hasConceptScore W2897797446C184337299 @default.
- W2897797446 hasConceptScore W2897797446C18903297 @default.
- W2897797446 hasConceptScore W2897797446C199360897 @default.
- W2897797446 hasConceptScore W2897797446C199539241 @default.
- W2897797446 hasConceptScore W2897797446C2776359362 @default.
- W2897797446 hasConceptScore W2897797446C2777299769 @default.
- W2897797446 hasConceptScore W2897797446C41008148 @default.
- W2897797446 hasConceptScore W2897797446C64543145 @default.
- W2897797446 hasConceptScore W2897797446C83852419 @default.
- W2897797446 hasConceptScore W2897797446C86803240 @default.
- W2897797446 hasConceptScore W2897797446C94625758 @default.
- W2897797446 hasLocation W28977974461 @default.
- W2897797446 hasOpenAccess W2897797446 @default.
- W2897797446 hasPrimaryLocation W28977974461 @default.
- W2897797446 hasRelatedWork W1532986268 @default.
- W2897797446 hasRelatedWork W1604327066 @default.
- W2897797446 hasRelatedWork W1980526982 @default.
- W2897797446 hasRelatedWork W2033125451 @default.
- W2897797446 hasRelatedWork W2057648994 @default.
- W2897797446 hasRelatedWork W2083477594 @default.
- W2897797446 hasRelatedWork W2099263327 @default.
- W2897797446 hasRelatedWork W2150985604 @default.
- W2897797446 hasRelatedWork W2158438052 @default.
- W2897797446 hasRelatedWork W2172205908 @default.
- W2897797446 hasRelatedWork W2295020882 @default.
- W2897797446 hasRelatedWork W2415457035 @default.
- W2897797446 hasRelatedWork W2533653484 @default.
- W2897797446 hasRelatedWork W2733755527 @default.
- W2897797446 hasRelatedWork W2741834483 @default.
- W2897797446 hasRelatedWork W2980230692 @default.
- W2897797446 hasRelatedWork W2990522395 @default.
- W2897797446 hasRelatedWork W3047158069 @default.
- W2897797446 hasRelatedWork W3160523673 @default.
- W2897797446 hasRelatedWork W849820788 @default.
- W2897797446 isParatext "false" @default.
- W2897797446 isRetracted "false" @default.
- W2897797446 magId "2897797446" @default.
- W2897797446 workType "article" @default.