Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 Proceedings

Generic Programming

Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected Papers

Generic and Indexed Programming

Mathematics of Program Construction

Proceedings of the third ACM Haskell symposium on Haskell

Fun of Programming

Generic programming

Functional and Logic Programming

Bidirectional Transformations

TyDe'17