Jeremy Gibbons

· 22 obras en el catálogo

Obras

Proceedings of the third ACM Haskell symposium on Haskell

Fun of Programming

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

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

Generic programming

FFUN OF PROGRAMMING; ED. BY JEREMY GIBBONS

FUN OF PROGRAMMING; ED. BY JEREMY GIBBONS

Generic and Indexed Programming

Generic Programming

Mathematics of Program Construction

Datatype-generic Programming

Bidirectional Transformations

AAlgorithm Design with Haskell

Algorithm Design with Haskell

AAlgebraic and Coalgebraic Methods in the Mathematics of Prog

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

IIntegrated Formal Methods

Integrated Formal Methods

TTeaching Formal Methods

Teaching Formal Methods

FFoundations of Health Information Engineering and Systems

Foundations of Health Information Engineering and Systems

HHaskell'17

Haskell'17

EErlang'17

Erlang'17

TTyDe'17

TyDe'17

FFhpc'17

Fhpc'17

FFarm'17

Farm'17

FFunctional and Logic Programming

Functional and Logic Programming