Jeremy Gibbons
Jeremy Gibbons
18 ספרים במאגר
ספרים
Generic ProgrammingJeremy Gibbons
Generic Programming
Jeremy Gibbons · 2003
Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected PapersJeremy Gibbons
Foundations Of Health Information Engineering And Systems Third International Symposium Fhies 2013 Macau China August 2123 2013 Revised Selected Papers
Jeremy Gibbons · 2014
Generic and Indexed ProgrammingJeremy Gibbons
Generic and Indexed Programming
Jeremy Gibbons · 2012
Mathematics of Program ConstructionJeremy Gibbons
Mathematics of Program Construction
Jeremy Gibbons · 2012
Proceedings of the third ACM Haskell symposium on HaskellJeremy Gibbons
Proceedings of the third ACM Haskell symposium on Haskell
Jeremy Gibbons · 2010
Fun of ProgrammingJeremy Gibbons
Fun of Programming
Jeremy Gibbons · 2005
Generic programmingJeremy Gibbons
Generic programming
Jeremy Gibbons · 2003
Functional and Logic ProgrammingJeremy Gibbons
Functional and Logic Programming
Jeremy Gibbons · 2024
Bidirectional TransformationsJeremy Gibbons
Bidirectional Transformations
Jeremy Gibbons · 2018
TyDe'17Jeremy Gibbons
TyDe'17
Jeremy Gibbons · 2017
Fhpc'17Jeremy Gibbons
Fhpc'17
Jeremy Gibbons · 2017
Erlang'17Jeremy Gibbons
Erlang'17
Jeremy Gibbons · 2017
Haskell'17Jeremy Gibbons
Haskell'17
Jeremy Gibbons · 2017
Farm'17Jeremy Gibbons
Farm'17
Jeremy Gibbons · 2017
Foundations of Health Information Engineering and SystemsJeremy Gibbons
Foundations of Health Information Engineering and Systems
Jeremy Gibbons · 2014
Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 ProceedingsJeremy Gibbons
Mathematics Of Program Construction 11th International Conference Mpc 2012 Madrid Spain June 2527 2012 Proceedings
Jeremy Gibbons · 2012
Teaching Formal MethodsJeremy Gibbons
Teaching Formal Methods
Jeremy Gibbons · 2009
FUN OF PROGRAMMING; ED. BY JEREMY GIBBONSJeremy Gibbons
FUN OF PROGRAMMING; ED. BY JEREMY GIBBONS
Jeremy Gibbons · 2003
ספרים משותפים ואוספים
ספרים שבהם Jeremy Gibbons מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Algorithm Design with HaskellRichard S. Bird
Algorithm Design with Haskell
Richard S. Bird · 2020
Datatype-generic ProgrammingRoland C. Backhouse
Datatype-generic Programming
Roland C. Backhouse · 2008
Integrated Formal MethodsJim Davies
Integrated Formal Methods
Jim Davies · 2007
Algebraic and Coalgebraic Methods in the Mathematics of Program ConstructionRoland C. Backhouse
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland C. Backhouse · 2003