Skip to main content
Home

Main navigation

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

Main navigation

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

Amal Ahmed

Image
International Conference on Functional Programming 2017

International Conference on Functional Programming 2017

ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. I...
Title Description People Date Captions
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. Amal Ahmed 22 January, 2018
Displaying 1 - 1 of 1 episodes

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