FAQ

Jeremy Gibbons

Jeremy Gibbons is a Computer Scientist and Professor of Computing at the University of Oxford. He serves as Deputy Director of the Software… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1998-2011
0119982011

Related topics

Related topics

6 relations
BioinformaticsCorecursionGeneric programmingIFIP Working Group 2.1
(More)

Related mentions per year

Related mentions per year

1963-2018
1960198020002020
Jeremy Gibbons
Bioinformatics
Generic programming
Corecursion
Journal of Functional Programming
IFIP Working Group 2.1

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Sleep in the Elderly – When to Reassure, When to Intervene
is determined solely by the Canadian Sleep Society Available online at www.insomniarounds.ca President Shelly K. Weiss, MD, FRCPC… (More)
  • table 1
  • table 2
Is this relevant?
Review
2011
Review
2011
Selected papers on Integrated Formal Methods (iFM09)
This issue contains extended versions of selected papers from the 7th International Conference on Integrated Formal Methods… (More)
Is this relevant?
Review
2010
Review
2010
Bidirectional programming and its applications
Many problems in programming involve pairs of computations that cancel out each other’s effects; some examples include parsing… (More)
Is this relevant?
Review
2009
Review
2009
Of the Oxford University Computing Laboratory Student Conference 2009
Traditionally, the Computing Laboratory has held this event once every two years. However, the healthy growth in graduate intake… (More)
  • figure 2
  • table 1
Is this relevant?
2004
2004
The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003
 
Is this relevant?
1998
1998
Special section: selected papers from the Java in the computing curriculum conference
In a previous paper in SIGPLAN notices tlJ I wrote a report on the first UK Java in the Computing Curriculum Conference (JICC 1… (More)
Is this relevant?