Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam
| Title: | Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam |
|---|---|
| Authors: | Stampoulis, Antonis; Chlipala, Adam |
| Source: | Proceedings of the ACM on Programming Languages. 2(ICFP):1-30 |
| Availability: | http://dl.acm.org/doi/10.1145/3236788 |
| Database: | ACM Full-Text Collection |