We propose a refinement and a simplification of the behavioural semantics of session types, based on the concepts of compliance and subbehaviour from the theory of web contracts. We introduce three relations on a suitable class of behaviours with higher-order input/output, called “session behaviors”. Such relations, depending on each other, represent the idea of sub-behaviour from the point of ...

The discriminatory power of four different DNA based typing methods was tested for the molecular subtyping of Salmonella Typhimurium phage type DT104 isolates. German DT104 strains (n = 133) originating from slaughter pigs were analysed by plasmid profiling, and 32 of them by pulsed-field gel electrophoresis (PFGE) using the restriction enzymes XbaI, SpeI or BlnI, random amplification of polymo...

Constructor subtyping is a form of subtyping in which an induc tive type is viewed as a subtype of another inductive type if has more constructors than As suggested in its potential uses include proof assistants and functional programming languages In this paper we introduce and study the properties of a simply typed calculus with record types and datatypes and which supports record sub typing ...

The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation Scala, but its support for type-level computation proven insufficient. As remedy, we propose $F^\omega_{..}$, rigorous theoretical foundation Scala's higher-kinded types. $F^\omega_{..}$ extends $F^\omega_{<:}$ with interval kinds, which afford unified treatment important type- kind-level abstra...

data types can be expressed neatly by treating their definition as transparent inside the module defining them, and as opaque outside it. Transparent definitions are easily implemented. In principle, they can be expanded in a preprocessing phase and ignored afterwards. In practice, this may cause an exponential increase in compile time as their definitions may be much larger than their names. T...