CLEAN

No author found.

Related Items (55)

Parallel graph rewriting on loosely coupled machine architectures ⋮ Unnamed Item ⋮ Uniqueness logic ⋮ Radio-astronomical imaging in the presence of strong radio interference ⋮ Temporal Properties of Clean Programs Proven in Sparkle-T ⋮ Normalization results for typeable rewrite systems ⋮ Comprehending Ringads ⋮ Code-carrying theories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Techniques to improve the CLEAN deconvolution algorithm ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ SAC -- a functional array language for efficient multi-threaded execution ⋮ Implementing term rewrite languages in DACTL ⋮ Unnamed Item ⋮ Generic programming in 3D ⋮ Space-efficient gradual typing ⋮ Making ``stricterness more relevant ⋮ Detection and parameter estimation of multicomponent LFM signal based on the cubic phase function ⋮ Unnamed Item ⋮ Properties of a first-order functional language with sharing ⋮ Lenient evaluation is neither strict nor lazy ⋮ Functional Type Assignment for Featherweight Java ⋮ Functional Semantics ⋮ Modelling Unique and Affine Typing Using Polymorphism ⋮ Evolution of a Parallel Task Combinator ⋮ Generic Programming with Multiple Parameters ⋮ Generalized time-frequency distributions for multicomponent polynomial phase signals ⋮ Unnamed Item ⋮ Lazy productivity via termination ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ Unnamed Item ⋮ Algebraic correctness proofs for compiling recursive function definitions with strictness information ⋮ Deciding inclusion of set constants over infinite non-strict data structures ⋮ Nonparametric spectral analysis of gapped data via an adaptive filtering approach ⋮ Context-sensitive dependency pairs ⋮ Ivor, a Proof Engine ⋮ Unnamed Item ⋮ Implementation of Functional Languages ⋮ Modified adaptive chirplet decomposition with application in ISAR imaging of maneuvering targets ⋮ Type classes for mathematics in type theory ⋮ Refined typing to localize the impact of forced strictness on free theorems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Functional and Logic Programming ⋮ Unnamed Item ⋮ A quasi-parametric algorithm for synthetic aperture radar target feature extraction and imaging with angle diversity ⋮ Fourier interpolation and reconstruction via shannon-type techniques II. Technical developments and applications ⋮ Context-sensitive rewriting strategies ⋮ Programmed Strategies for Program Verification ⋮ Unnamed Item

This page was built for software: CLEAN