Embedding F

Sam Lindley

Embedding F

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 and
first-class modules.

Original language	English
Title of host publication	8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012)
Subtitle of host publication	9 September 2012, Copenhagen, Denmark
Publisher	ACM
Number of pages	11
Publication status	Published - 2012

Cite this

@inproceedings{454f79bf0ee64d55a8684834ef6a5234,

title = "Embedding F",

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.",

author = "Sam Lindley",

year = "2012",

language = "English",

booktitle = "8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012)",

publisher = "ACM",

}

TY - GEN

T1 - Embedding F

AU - Lindley, Sam

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

M3 - Conference contribution

BT - 8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012)

PB - ACM

ER -