Fair enumeration combinators

DOI10.1017/S0956796817000107zbMath1476.68065OpenAlexW2753416529MaRDI QIDQ4625156

Max New, Robert Bruce Findler, Jay McCarthy, Burke Fetscher

Publication date: 20 February 2019

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796817000107

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Combinatorics in computer science (68R05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PLT Redex

Cites Work

• Unnamed Item
• A list-machine benchmark for mechanized metatheory
• Constraining Delimited Control with Contracts
• Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)

This page was built for publication: Fair enumeration combinators