Embedding F

Sam Lindley

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

1 Citation (Scopus)

Abstract

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 andfirst-class modules.
Original languageEnglish
Title of host publicationWGP '12: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
PublisherAssociation for Computing Machinery
Pages45–56
Number of pages12
ISBN (Electronic)9781450315760
DOIs
Publication statusPublished - Sep 2012

Cite this