Paramorphisms
From MaRDI portal
Publication:1201295
DOI10.1007/BF01211391zbMath0754.68086MaRDI QIDQ1201295
Publication date: 17 January 1993
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01211391
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Unnamed Item, When is a function a fold or an unfold?, Folding left and right over Peano numbers, Algebraic Specialization of Generic Functions for Recursive Types, Unifying structured recursion schemes, A Duality of Sorts, Least and greatest fixed points in intuitionistic natural deduction, Folding left and right matters: Direct style, accumulators, and continuations, Classical (co)recursion: Mechanics, Fantastic morphisms and where to find them. A guide to recursion schemes, Constructing language processors with algebra combinators, Datatype-generic termination proofs, Scala for generic programmers, The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics, The Expression Lemma
Cites Work