Asymptotic Improvement of Computations over Free Monads
From MaRDI portal
Publication:3521997
DOI10.1007/978-3-540-70594-9_20zbMath1156.68363MaRDI QIDQ3521997
Publication date: 28 August 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70594-9_20
68N18: Functional programming and lambda calculus
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Notions of computation as monoids, Interleaving data and effects, Complexity bounds for container functors and comonads, Combining deep and shallow embedding of domain-specific languages, Factorising folds for faster functions
Cites Work