Embedding F

Sam Lindley

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

1 Citation (Scopus)


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
Number of pages12
ISBN (Electronic)9781450315760
Publication statusPublished - Sep 2012


Dive into the research topics of 'Embedding F'. Together they form a unique fingerprint.

Cite this