Datatype-generic programming meets elaborator reflection

Datatype-generic programming is natural and useful in dependently typed languages such as Agda. However, datatype-generic libraries in Agda are not reused as much as they should be, because traditionally they work only on datatypes decoded from a library’s own version of datatype descriptions; this...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 6; H. ICFP; S. 225 - 253
Hauptverfasser:	Ko, Hsiang-Shang, Chen, Liang-Ting, Lin, Tzu-Chi
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	29.08.2022
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!