Publication:2721090

From MaRDI portal

Jump to:navigation, search

zbMath0963.68035MaRDI QIDQ2721090

Publication date: 1 July 2001

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Derivable Type Classes, Iteration and coiteration schemes for higher-order and nested datatypes

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2721090&oldid=15581087"