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.
Oct 12, 2018 · Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives.
Semantic subtyping. Union and intersection types can be used to type several language constructs – from branching and pattern matching to overloading – very ...
This work defines a type system using semantic subtyping for a functional language with a call-by-need semantics by introducing an explicit representation ...
Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives.
Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives. It has been studied only for ...
Nov 18, 2019 · Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives. It has been ...
Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives.
People also ask
What are the three formal methods for describing semantics?
What is formal semantics of programming languages?
Semantic subtyping for non-strict languages · authors: Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca · year: 2018 · publisher: Schloss ...
In this paper we show how to define a subtyping relation semantically, for a language whose operational semantics is driven by types; we consider a rich type ...