We systematically present four calculi for gradual typing: the blame calculus of Wadler and Findler (2009); a novel calculus that pinpoints blame precisely; the coercion calculus of Henglein (1994); and the threesome calculus of Siek and Wadler (2010). Threesomes are given a syntax that directly exposes their origin as coercions in normal form, a more transparent presentation than that found in...

Gradual patterns highlight complex order correlations of the form “The more/less X, the more/less Y”. Only recently algorithms have appeared to mine efficiently gradual rules. However, due to the complexity of mining gradual rules, these algorithms cannot yet scale on huge real world datasets. In this paper, we propose to exploit parallelism in order to enhance the performances of the fastest e...

Contracts, gradual typing, and hybrid typing all permit less-precisely typed and more-precisely typed code to interact. Blame calculus encompasses these, and guarantees blame safety: blame for type errors always lays with less-precisely typed code. This paper serves as a complement to the literature on blame calculus: it elaborates on motivation, comments on the reception of the work, critiques...

n this paper we study the hyers-ulam-rassias stability of cauchyequation in felbin's type fuzzy normed linear spaces. as a resultwe give an example of a fuzzy normed linear space such that thefuzzy version of the stability problem remains true, while it failsto be correct in classical analysis. this shows how the category offuzzy normed linear spaces differs from the classical normed linearspac...

Trend identification in gradually degrading faults poses a challenge due to embedded local large data variations in signals, which sometimes can interfere with the gradual trend. This paper describes combining Multi-resolution Signal Decomposition (MSD) property and denoising effect of wavelet transforms with entropy measure to eliminate local high frequency variations and retain the gradual pa...