Union types allow to capture the possibility of a term to be of several possibly unrelated types. Traditional static approaches to union types are untagged and tagged unions, which present dual advantages in their use. ...

We determine derived representation type of complete finitely generated local and two-point algebras over an algebraically closed field. (C) 2009 Elsevier Inc. All rights reserved.

Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...

The aim of this study was to analyze kinetic and metabolic features of two hybridomas for monoclonal antibodies (MAbs) production for blood typing. Two lines of hybridomas, ED7 and ED9, were evaluated to produce anti-A and ...

Refinement types are an effective language-based verification technique. However, as any expressive typing discipline, its strength is its weakness, imposing sometimes undesired rigidity. Guided by abstract interpretation, ...

This paper shows an application of Type-reduction algorithms for computing the steady state of an Interval Type-2 Fuzzy Markov Chain (IT2FM). The IT2FM approach is an extension of the scope of a Type-1 fuzzy markov chain ...

A deformation parameter of a bihamiltonian structure of hydrodynamic type is shown to parametrize different extensions of the AKNS hierarchy to include negative flows. This construction establishes a purely algebraic link ...

A deformation parameter of a bihamiltonian structure of hydrodynamic type is shown to parametrize different extensions of the AKNS hierarchy to include negative flows. This construction establishes a purely algebraic link ...

Recombination is a significant factor driving genomic evolution, but it is not well understood in Dengue virus. We used phylogenetic methods to search for recombination in 636 Dengue virus type 3 (DENV-3) genomes and ...