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 |
Search Result 1