Prototyping a functional language using higher-order logic...

Proceedings of the ACM on Programming Languages 2018 / 07 Vol. 2; Iss. ICFP

Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam

Stampoulis, Antonis, Chlipala, Adam
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
2
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3236788
Date:
July, 2018
File:
PDF, 412 KB
2018
Conversion to is in progress
Conversion to is failed