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.
|Title of host publication||WGP '12: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming|
|Publisher||Association for Computing Machinery|
|Number of pages||12|
|Publication status||Published - Sep 2012|