Mathematics of Program Construction

DOI10.1007/b98756zbMath1106.68336OpenAlexW2492557863MaRDI QIDQ5313099

Artem Alimarine, Sjaak Smetsers

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Algebraic Specialization of Generic Functions for Recursive Types ⋮ Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ Libraries for Generic Programming in Haskell

This page was built for publication: Mathematics of Program Construction