Gibbons, J. (1999). Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs.
Dyfyniad Arddull ChicagoGibbons, J. Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs. 1999.
Dyfyniad MLAGibbons, J. Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs. 1999.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.