Proceedings of the Seventh miniKanren and Relational Programming Workshop (miniKanren 2025)
arXiv 2610.12505v1•9c7bd9dc20d0be24e8434890f4172737e5ec883f1cad87422f1eec17a46c292a
Paper metadata
- arXiv ID
- 2610.12505
- Version
- v1
- Category
- cs.PL
- Authors
- Michael D. Adams, William E. Byrd
- Publication date
- 2026-10-12T04:00:00Z
- Source identifier
- 2610.12505v1
- Public record ID
- record:sha256:9c7bd9dc20d0be24e8434890f4172737e5ec883f1cad87422f1eec17a46c292a
The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.
This is source-provided metadata, not an enriched summary or an impact assessment. Follow the canonical source link for the published material.
Evidence and limitations
- Source ID
- arxiv_research
- Record identifier
- 9c7bd9dc20d0be24e8434890f4172737e5ec883f1cad87422f1eec17a46c292a
- Record type
- Source metadata
This record may overlap with other records. Source metadata can be incomplete or change. Validate consequential decisions against the linked source and your own environment.