The expression lemma ⋆

Cached

Download Links

by Ralf Lämmel , Ondrej Rypacek
Citations:1 - 1 self

Active Bibliography

DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES – Ondrej Rypacek - 2009
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
1 Swapping arguments and results of recursive functions – Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi - 2006
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
Draft, submitted for review Conjugate Hylomorphisms Or: The Mother of All Structured Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
2 A Calculational Framework for Parallelization of Sequential Programs – Zhenjiang Hu, Masato Takeichi - 1997
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006