Stream Fusion in HOL with Code Generation

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361661FDO

Authors Andreas Lochbihler, Alexandra Maximova

Publication date 10 October 2014

Recursive Functions on Lazy Lists via Domains and Topologies

This page was built for software: Stream Fusion in HOL with Code Generation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Stream_Fusion_in_HOL_with_Code_Generation&oldid=105366722"