Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

programming

Journey of a Molecular Detective; David Sherratt

Unifying Logic and Probability: the BLOG Language

Logic and probability are ancient subjects whose unification holds significant potential for the field of artificial intelligence.
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

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

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
International Conference on Functional Programming 2017

No-Brainer CPS Conversion

Milo Davis (Northeastern University, USA) gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP.
International Conference on Functional Programming 2017

Foundations of Strong Call by Need

Thibaut Balabonski (LRI, France and University of Paris-Sud, France) gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference.
International Conference on Functional Programming 2017

How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation

Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference.

Pagination

  • Current page 1
  • Page 2
  • Page 3
  • 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