Skip to main content
Home

Main navigation

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

Main navigation

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

A Unified Approach to Solving Seven Programming Problems (Functional Pearl)

Series
International Conference on Functional Programming 2017
Video Embed
William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.
Co-written by Gregory Rosenblatt, Matthew Might, Michael Ballantyne (University of Utah).

We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in mini Kanren.

More in this series

View Series
International Conference on Functional Programming 2017

Generic Functional Parallel Algorithms: Scan and FFT

Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.
Previous
International Conference on Functional Programming 2017

Prototyping a Query Compiler using Coq (Experience Report)

Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA.
Next
Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
International Conference on Functional Programming 2017
People
William E Byrd
Keywords
computing
programming
technology
Department: Department of Computer Science
Date Added: 12/12/2017
Duration: 00:20:03

Subscribe

Apple Podcast Video Video RSS Feed

Download

Download Video

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