The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent Types

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationCentral European Functional Programming School. CEFP 2013
EditorsV. Zsók, Z. Horváth, L. Csató
PublisherSpringer
Pages115-186
ISBN (Electronic)9783319159409
ISBN (Print)9783319159393
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
Volume8606

Cite this