Gibbons, Jeremy, 1966-....
Gibbons, Jeremy
Jeremy Gibbons British computer scientist
VIAF ID: 85204540 ( Personal )
Permalink: http://viaf.org/viaf/85204540
Preferred Forms
- 200 _ | ‡a Gibbons ‡b Jeremy
-
- 100 1 _ ‡a Gibbons, Jeremy
- 100 1 _ ‡a Gibbons, Jeremy
- 100 1 _ ‡a Gibbons, Jeremy
-
-
- 100 1 _ ‡a Gibbons, Jeremy ‡d 1966-
- 100 1 _ ‡a Gibbons, Jeremy ‡d 1966-
- 100 1 _ ‡a Gibbons, Jeremy, ‡d 1966-
-
-
-
-
- 100 1 _ ‡a Gibbons, Jeremy, ‡d 1966-....
- 100 0 _ ‡a Jeremy Gibbons ‡c British computer scientist
4xx's: Alternate Name Forms (2)
5xx's: Related Names (3)
- 510 2 _ ‡a SSGIP 2010 Oxford
- 510 2 _ ‡a University of Oxford
- 510 2 _ ‡a University of Oxford ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures | |
Algorithm design with Haskell | |
FHIES 2013 | |
Foundations of health information engineering and systems : third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers | |
The fun of programming | |
Generic programming : advanced lectures | |
Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany | |
Haskell '10 : proceedings of the 2010 ACM SIGPLAN Haskell Symposium : September 30, 2010, Baltimore, Maryland, USA | |
IFM 2007 | |
Kansū puroguramingu no tanoshimi | |
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings | |
MPC 2012 | |
Proceedings of the first international workshop on formal methods education and training | |
SSGIP 2010 | |
Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings | |
関数プログラミングの楽しみ |