CLEAN

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