CLEAN
From MaRDI portal
Cited in
(94)- Modified adaptive chirplet decomposition with application in ISAR imaging of maneuvering targets
- GrGen
- KORALZ
- Normalization results for typeable rewrite systems
- DACTL
- ATERM
- A quasi-parametric algorithm for synthetic aperture radar target feature extraction and imaging with angle diversity
- VIATRA2
- Haskell
- Miranda
- OBJ3
- Ivor
- Context-sensitive rewriting strategies
- GHC
- Techniques to improve the CLEAN deconvolution algorithm
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- LMNtal
- Facile
- Polyp
- Camlflow
- iTasks
- GUM
- Cyclone
- Sparkle
- EditorArrow
- MU-TERM
- VMTL
- Jambox
- Fudgets
- Uniqueness logic
- SAC -- a functional array language for efficient multi-threaded execution
- PVSio
- Algebraic correctness proofs for compiling recursive function definitions with strictness information
- Naira
- Code-carrying theories
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- Lenient evaluation is neither strict nor lazy
- scientific article; zbMATH DE number 1691463 (Why is no real title available?)
- Programmed strategies for program verification
- Type classes for mathematics in type theory
- scientific article; zbMATH DE number 5990080 (Why is no real title available?)
- Comprehending Ringads
- HiPE
- PolyLib
- TkGofer
- Sapl
- Flapjax
- Hop
- Alms
- Eff
- GReAT
- Proving Properties of Lazy Functional Programs with Sparkle
- Ivor, a Proof Engine
- Sparkle-T
- scientific article; zbMATH DE number 4030948 (Why is no real title available?)
- scientific article; zbMATH DE number 48611 (Why is no real title available?)
- Links
- Sage
- scientific article; zbMATH DE number 512770 (Why is no real title available?)
- scientific article; zbMATH DE number 1086663 (Why is no real title available?)
- Fourier interpolation and reconstruction via shannon-type techniques II. Technical developments and applications
- scientific article; zbMATH DE number 1487857 (Why is no real title available?)
- Radio-astronomical imaging in the presence of strong radio interference
- scientific article; zbMATH DE number 2086496 (Why is no real title available?)
- scientific article; zbMATH DE number 2086503 (Why is no real title available?)
- scientific article; zbMATH DE number 2099199 (Why is no real title available?)
- scientific article; zbMATH DE number 883895 (Why is no real title available?)
- scientific article; zbMATH DE number 1393310 (Why is no real title available?)
- Generic programming with multiple parameters
- GP 2
- Temporal Properties of Clean Programs Proven in Sparkle-T
- Functional and Logic Programming
- Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
- Functional semantics
- Modelling unique and affine typing using polymorphism
- Evolution of a parallel task combinator
- Deciding inclusion of set constants over infinite non-strict data structures
- Implementation of Functional Languages
- scientific article; zbMATH DE number 5036161 (Why is no real title available?)
- Lazy productivity via termination
- scientific article; zbMATH DE number 2238212 (Why is no real title available?)
- Proving composed specifications of Clean programs in Sparkle-T
- Parallel graph rewriting on loosely coupled machine architectures
- Nonparametric spectral analysis of gapped data via an adaptive filtering approach
- Simply RaTT
- Space-efficient gradual typing
- Making ``stricterness more relevant
- Properties of a first-order functional language with sharing
- Refined typing to localize the impact of forced strictness on free theorems
- Implementing term rewrite languages in DACTL
- Generic programming in 3D
- Detection and parameter estimation of multicomponent LFM signal based on the cubic phase function
- Generalized time-frequency distributions for multicomponent polynomial phase signals
- Context-sensitive dependency pairs
This page was built for software: CLEAN
