Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

technology

Journey of a Molecular Detective; David Sherratt

OSEF 2018: What Lays Ahead for Government Technology? - A Panel Discussion

What Lays Ahead for Government Technology? - A Panel Discussion at Oxford Saïd Entrepreneurship Forum 2018 - Daniel Korski (Public), Robyn Scott (Apolitical), Pere Valles (Scytl) and Peteris Zilgalvis (DG Connect European Commission)
Journey of a Molecular Detective; David Sherratt

What happened to wireless?

Jacob Ward, Bodleian Libraries Byrne-Bussey Marconi Fellow, Department of Science and Technology Studies, UCL, gives the 2018 Marconi lecture.
International Conference on Functional Programming 2017

Inferring Scope through Syntactic Sugar

Justin Pombrio (Brown University, USA) gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Automating Sized-Type Inference for Complexity Analysis

Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Constrained Type Families

Richard A. Eisenberg (Bryn Mawr College, USA) gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Gradual Typing with Union and Intersection Types

Victor Lanvin (ENS Cachan, France) gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

On Polymorphic Gradual Typing

Yuu Igarashi (Kyoto University, Japan) gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Theorems for Free for Free: Parametricity, With and Without Types

Amal Ahmed (Northeastern University, USA) gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Gradual Session Types

Peter Thiemann (University of Freiburg, Germany) gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Manifest Sharing with Session Types

Stephanie Balzer (Carnegie Mellon University, USA) gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Whip: Higher-Order Contracts for Modern Services

Lucas Waye (Harvard University, USA), gives the second talk in the third panel, Contracts and Sessions , on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

A Metaprogramming Framework for Formal Verification

Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Normalization by Evaluation for Sized Dependent Types

Andreas Abel (University of Gothenburg, Sweden), 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

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

Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)

Robby Findler (Northwestern University, USA), gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICFP conference.
International Conference on Functional Programming 2017

Visitors Unchained

Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference.
International Conference on Functional Programming 2017

Compiling to Categories

Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference.
International Conference on Functional Programming 2017

Local Refinement Typing

Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd 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.
International Conference on Functional Programming 2017

Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification

Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification

Pagination

  • First page
  • Previous page
  • Page 1
  • Page 2
  • Current page 3
  • Page 4
  • Page 5
  • Page 6
  • Page 7
  • Page 8
  • Page 9
  • …
  • 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