A unified approach to solving seven programming problems (functional pearl)

Autor:	Matthew Might, Michael Ballantyne, William E. Byrd, Gregory Rosenblatt
Rok vydání:	2017
Předmět:	Concurrent constraint logic programming Theoretical computer science Computer science Functional logic programming Programming paradigm Constraint programming Reactive programming Safety Risk Reliability and Quality Software Functional reactive programming Inductive programming Logic programming
Zdroj:	Proceedings of the ACM on Programming Languages. 1:1-26
ISSN:	2475-1421
DOI:	10.1145/3110252
Popis:	We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::946c19893f62f88079f8931f4f7dbf14 https://doi.org/10.1145/3110252 Zobrazit plný text záznamu