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