Proceedings of the 2021 miniKanren and Relational Programming Workshop

Files

miniKanren_Proceedings.pdf (1.55 MB)

Date

2021-08-26

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

University of Toronto Mississauga

Abstract

This report aggregates the papers presented at the third miniKanren and Relational Programming Workshop, held online on August 26th, 2021 co-located with the 26th International Conference on Functional Programming. The miniKanren and Relational Programming Workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementers, and users from the miniKanren community, and to share expertise and techniques for relational programming. Another goal for the workshop is to push the state of the art of relational programming.

Description

This is a report aggregating the papers presented at the third miniKanren and Relational Programming Workshop published by the University of Toronto Mississauga

Keywords

miniKanren, programming languages, relational programming, logic programming, constraint logic programming

Citation

URI

http://hdl.handle.net/1807/110263

DOI

ISSN

Creative Commons

Creative Commons URI

Collections

Faculty Publications-Department of Mathematical & Computational Sciences
Full item page

Items in TSpace are protected by copyright, with all rights reserved, unless otherwise indicated.