Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

computing

International Conference on Functional Programming 2017

Prototyping a Query Compiler using Coq (Experience Report)

Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA.
International Conference on Functional Programming 2017

A Unified Approach to Solving Seven Programming Problems (Functional Pearl)

William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.
International Conference on Functional Programming 2017

Generic Functional Parallel Algorithms: Scan and FFT

Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.
International Conference on Functional Programming 2017

A Pretty But Not Greedy Printer (Functional Pearl)

Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.
International Conference on Functional Programming 2017

Faster Coroutine Pipelines

Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.
International Conference on Functional Programming 2017

Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC

Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference.
International Conference on Functional Programming 2017

Lock-Step Simulation Is Child's Play (Experience Report)

Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA.
International Conference on Functional Programming 2017

Testing and Debugging Functional Reactive Programming

Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK.
International Conference on Functional Programming 2017

Super 8 Languages for Making Movies (Functional Pearl)

Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference.
International Conference on Functional Programming 2017

Compositional Creativity: Some Principles for Talking to Computers

Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference.
Oxford Physics Public Lectures

Quantum physics and the nature of computing

How can we test a quantum computer? An exploration of some of the theoretical puzzles of this field and how we can investigate them with experimental physics.
International Conference on Functional Programming 2017

Chaperone Contracts for Higher-Order Sessions

Hernan Melgratti (University of Buenos Aires, Argentina), gives the first talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference.
Strachey Lectures

Lovelace Lecture: Learning and Efficiency of Outcomes in Games

Éva Tardos, Department of Computer Science, Cornell University, gives the 2017 Ada Lovelace Lecture on 6th June 2017.
Learning Technology at Oxford

Exploring the next generation digital learning environments

Chuck Severance, University of Michigan, looks at Learning Management Systems and what comes next.
Digital Humanities at Oxford Summer School

2017 Closing Keynote: What Happens When the Internet of Things Meets the Humanities?

Andrew Prescott, University of Glasgow and AHRC Theme Leader Fellow for Digital Transformations, gives the closing keynote for the 2017 DHOXSS.
Digital Humanities at Oxford Summer School

Wikimedia: Wikipedia's sister projects as platforms for Digital Humanities

Martin Poulter, Oxford's Wikimedian in Reseidence, gives a masterclass in using Wikimedia for digital research.
Digital Humanities at Oxford Summer School

Working with very large corpora: Building your worksets in the HathiTrust

Kevin Page, Iain Emsley and David Weigl talk about using The HathiTrust Digital Library to conduct research in this interstice workshop.
Digital Humanities at Oxford Summer School

Ada Lovelace: Creative computing and an experimental humanities

Pip Willcox and David De Roure give a presentation on Ada Lovelace, one of the early pioneers in computing.
Sebastian Rahtz, a celebration of his work

The Open Source Advisory Service - OSS Watch

Rowan Wilson gives a talk about working with Sebastian on setting up the national service - OSS Watch, the Open Source Software advisory service.
Sebastian Rahtz, a celebration of his work

Humanities Computing at Southampton, and The Non-Catholic Cemetery in Rome

Wendy Hall and Les Carr share their memories of work at Southampton University. Nicholas Stanley-Price and Amanda Thursfield, (The Non-Catholic Cemetery in Rome) share their experiences with working with Sebastian Rahtz.

Pagination

  • First page
  • Previous page
  • Page 1
  • Page 2
  • Page 3
  • Page 4
  • Current page 5
  • Page 6
  • Page 7
  • Page 8
  • Next page
  • Last page

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford