Custom Representations of Inductive Families

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Trends in Functional Programming
Publisher	Springer
Pages	302-328
DOIs	https://doi.org/10.1007/978-3-031-99751-8_13 https://doi.org/10.48550/arXiv.2505.21225
Publication status	Published - 1 Oct 2025

Name	Trends in Functional Programming
Volume	15652
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

@inbook{9d877f8599524bfebc9f89507eaae0a1,

title = "Custom Representations of Inductive Families",

author = "Constantine Theocharis and Edwin Brady",

year = "2025",

month = oct,

day = "1",

doi = "10.1007/978-3-031-99751-8\_13",

language = "English",

series = "Trends in Functional Programming",

publisher = "Springer",

pages = "302--328",

booktitle = "Trends in Functional Programming",

address = "Netherlands",

}