William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference.
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
Loading Video...
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.
People:
Oxford Unit:
Keywords:
More in this Series...
ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming.
ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, there are keynotes from Chris Martens and John Launchbury; unfortunately, Rich Hickey was unable to attend as originally...
Subscribe
Download Media
- Video (454.19 MB)