Skip to main content
Home

Main navigation

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

Main navigation

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

reprogramming

International Conference on Functional Programming 2017

A Specification for Dependent Types in Haskell

Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

SpaceSearch: A Library for Building and Verifying Solver-Aided Tools

Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference.
Cancer

Cancer and regenerative medicine

Professor Xin Lu talks about the links between cancer and regenerative medicine.
Journey of a Molecular Detective; David Sherratt

Cancer and regenerative medicine

Professor Xin Lu talks about the links between cancer and regenerative medicine.

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