Functional algorithm design
From MaRDI portal
Publication:1916357
DOI10.1016/0167-6423(95)00033-XzbMath0853.68101MaRDI QIDQ1916357
Publication date: 12 December 1996
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items (4)
Algebra of Programming Using Dependent Types ⋮ Calculating with acyclic and cyclic lists ⋮ Declarative pearl: deriving monadic quicksort ⋮ Algebra of programming in Agda: Dependent types for relational program derivation
This page was built for publication: Functional algorithm design
