Skip to main content
Home

Main navigation

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

Main navigation

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

Makoto Hamana

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
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. Makoto Hamana 18 December, 2017
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