Embedding F

Sam Lindley

doi:10.1145/2364394.2364402

Embedding F

Sam Lindley

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	WGP '12: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
Publisher	Association for Computing Machinery
Pages	45–56
Number of pages	12
ISBN (Electronic)	9781450315760
DOIs	https://doi.org/10.1145/2364394.2364402
Publication status	Published - Sept 2012

Access to Document

10.1145/2364394.2364402

Cite this

@inproceedings{6db1bca2bb3f4efc85979a324020d419,

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

month = sep,

doi = "10.1145/2364394.2364402",

language = "English",

pages = "45–56",

booktitle = "WGP '12: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming",

publisher = "Association for Computing Machinery",

address = "United States",

}

TY - GEN

T1 - Embedding F

AU - Lindley, Sam

PY - 2012/9

Y1 - 2012/9

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.

U2 - 10.1145/2364394.2364402

DO - 10.1145/2364394.2364402

M3 - Conference contribution

SP - 45

EP - 56

BT - WGP '12: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming

PB - Association for Computing Machinery

ER -

Embedding F

Abstract

Access to Document

Fingerprint

Cite this