Embedding F

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This millennium has seen a great deal of research into embedded domain-specific languages. Primarily, such languages are simplytyped. Focusing on System F, we demonstrate how to embed polymorphic domain specific languages in Haskell and OCaml. We exploit recent language extensions including kind polymorphism and
first-class modules.
Original languageEnglish
Title of host publication8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012)
Subtitle of host publication9 September 2012, Copenhagen, Denmark
Number of pages11
Publication statusPublished - 2012

Cite this