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