Pruning with improving sequences in lazy functional programs
type: Item
instance of: scholarly article
title: Pruning with improving sequences in lazy functional programs
zbMATH Open document ID: 1256.68033
author: Hideya Iwasaki
author: Takeshi Morimoto
author: Yasunao Takano
published in: Higher-Order and Symbolic Computation
publication date: 2013-01-08T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 6122819
zbMATH Keywords: Haskell library
zbMATH Keywords: functional programming
zbMATH Keywords: lazy evaluation
zbMATH Keywords: pruning
zbMATH Keywords: branch-and-bound search
describes a project that uses: Haskell
MaRDI profile type: Publication
full work available at URL: s10990-012-9086-3
OpenAlex ID: W2044761658
cites work: Encapsulating non-determinacy in an abstract data type with determinate semantics
cites work: Monads for incremental computing
cites work: Optimistic evaluation
cites work: Q3885184
cites work: Deriving structural hylomorphisms from recursive definitions
cites work: An analysis of alpha-beta pruning
cites work: Branch-and-Bound Methods: A Survey
cites work: Q4705620
DOI: 10.1007/S10990-012-9086-3
description: scientific article; zbMATH DE number 6122819