This technical report presents the full proofs for the type preservation and effect soundness theorems of the type system presented in the article “Lightweight Polymorphic Effects”.

Polymorphism is one of the main elements of the object paradigm. It is considered to be a requirement for any true object-oriented language. Like any powerful tool, it should be used properly. This article presents design patterns to impose additional constraints on polymorphic operations. The patterns can be applied to a wide range of object-oriented languages. They help to produce additional ...

The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients transport and exchange programs rather that just inert data. We propose different senses in which such a calculus can be said to be polymorphic, and design accordingly a polymorphic type system for it. Our type system...

In recent years a swarm-based optimization methodology called Particle Swarm Optimization (PSO) has developed. If one wants to apply PSO one has to specify several parameters as well as to select a neighborhood topology. Several topologies being widely used can be found in literature. This raises the question, which one fits best to your application at hand. To get rid of this topology selectio...

PREMISE OF THE STUDY Nonplastid microsatellite primers were developed for the first time in the Euro-Siberian complex of Anthoxanthum (Poaceae), a genus of temperate grasses in which reticulate evolution is common. METHODS AND RESULTS A microsatellite-enriched genomic DNA library allowed the detection of 500 fragments containing a microsatellite motif. Fifteen primer pairs were selected for a...

Higher-order programming languages, such as ML, permit a exible programming style by using compile-time type inference together with the concept of type polymorphism, which allows to specify the types of generic functions. In ML, however, recursive functions must always be given a unique (monomorphic) type inside their deenition. Giving polymorphic types to recursive functions is known as the p...

Introduction Bradycardia is a known risk factor for QT prolongation and polymorphic ventricular tachycardia (polymorphic VT). With the widespread use of pacemakers, it is important to pay attention to different pacing modes while programming pacemakers to avoid bradycardia. We present a case of bradycardia-induced polymorphic VT that occurred after a VDD pacemaker was replaced with a VVIR pacem...

Polymorphic digital circuits are circuits composed of polymorphic (multifunctional) as well as ordinary gates. In addition to its standard logic function (such as NAND), a polymorphic gate exhibits another logic function which is activated under a specific condition, for example, when Vdd, temperature, illumination or a special signal reaches a certain level. This paper describes newly proposed...

This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed lambda-calculus generated by a signature of polymorphic higher-order function symbols. The obtained ordering is well-founded, compatible with -reductions and with polymorphic typing, monotonic with respect to the funct...

Tropical commercial sea cucumber Stichopus horrens is extensively distributed throughout the tropical Indo-Pacific region, and wild stocks have been severely depleted over the past decade. In this study, we used the microsatellite enrichment library of S. horrens to identify and characterize 13 microsatellite loci, including 11 polymorphic loci and 2 monomorphic loci. Among the 11 polymorphic l...