A unified approach to solving seven programming problems (functional pearl)
Abstract
We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 29, 2017
- Source ID
- 10.1145/3110252
Entities
People
- Gregory Rosenblatt
- Matthew Might
- Michael Ballantyne
- William E. Byrd
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of Utah