Type systems as macros

Stephen Chang; Alex Knauth; Ben Greenman

doi:10.1145/3009837.3009886

Type systems as macros

Stephen Chang
, Alex Knauth
, Ben Greenman

Computer Science

Northeastern University

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	694-705
Number of pages	12
Journal	ACM SIGPLAN Notices
Volume	52
Issue number	1
DOIs	https://doi.org/10.1145/3009837.3009886
State	Published - Jan 2017

ASJC Scopus Subject Areas

General Computer Science

Keywords

macros
type systems
typed embedded DSLs

Access to Document

10.1145/3009837.3009886

Cite this

@article{324cc30aad0a4e3e8c4fe95f03b1dc67,

title = "Type systems as macros",

keywords = "macros, type systems, typed embedded DSLs",

author = "Stephen Chang and Alex Knauth and Ben Greenman",

note = "Publisher Copyright: {\textcopyright} 2017 ACM.",

year = "2017",

month = jan,

doi = "10.1145/3009837.3009886",

language = "English",

volume = "52",

pages = "694--705",

journal = "ACM SIGPLAN Notices",

issn = "1523-2867",

publisher = "Association for Computing Machinery",

number = "1",

}

TY - JOUR

T1 - Type systems as macros

AU - Chang, Stephen

AU - Knauth, Alex

AU - Greenman, Ben

PY - 2017/1

Y1 - 2017/1

KW - macros

KW - type systems

KW - typed embedded DSLs

UR - https://www.scopus.com/pages/publications/85119355477

UR - https://www.scopus.com/pages/publications/85119355477#tab=citedBy

U2 - 10.1145/3009837.3009886

DO - 10.1145/3009837.3009886

M3 - Article

AN - SCOPUS:85119355477

SN - 1523-2867

VL - 52

SP - 694

EP - 705

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 1

ER -

Type systems as macros

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this