Custom Representations of Inductive Families

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationTrends in Functional Programming
PublisherSpringer
Pages302-328
DOIs
Publication statusPublished - 1 Oct 2025

Publication series

NameTrends in Functional Programming
Volume15652
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this