Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam
<jats:p> We demonstrate how the framework of <jats:italic>higher-order logic programming</jats:italic> , as exemplified in the λProlog language design, is a prime vehicle for rapid prototyping of implementations for programming languages with sop...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Association for Computing Machinery (ACM)
2021
|
| Online Access: | https://hdl.handle.net/1721.1/135107 |