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: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Editors	Andrew D. Gordon, Giuseppe Castagna
Publisher	Association for Computing Machinery
Pages	694-705
Number of pages	12
ISBN (Electronic)	9781450346603
DOIs	https://doi.org/10.1145/3009837.3009886
State	Published - Jan 1 2017
Event	44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 - Paris, France Duration: Jan 15 2017 → Jan 21 2017

Publication series

Name	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)	0730-8566

Conference

Conference	44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017
Country/Territory	France
City	Paris
Period	1/15/17 → 1/21/17

ASJC Scopus Subject Areas

Software

Keywords

Macros
Type systems
Typed embedded DSLs

Access to Document

10.1145/3009837.3009886

Cite this

Chang, S., Knauth, A., & Greenman, B. (2017). Type systems as macros. In A. D. Gordon, & G. Castagna (Eds.), POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (pp. 694-705). (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). Association for Computing Machinery. https://doi.org/10.1145/3009837.3009886

Type systems as macros. / Chang, Stephen; Knauth, Alex; Greenman, Ben.
POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ed. / Andrew D. Gordon; Giuseppe Castagna. Association for Computing Machinery, 2017. p. 694-705 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

Chang, S, Knauth, A & Greenman, B 2017, Type systems as macros. in AD Gordon & G Castagna (eds), POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, pp. 694-705, 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 1/15/17. https://doi.org/10.1145/3009837.3009886

@inproceedings{a23d969a696544aa875e49e3a82e8b48,

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.; 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 ; Conference date: 15-01-2017 Through 21-01-2017",

year = "2017",

month = jan,

day = "1",

doi = "10.1145/3009837.3009886",

language = "English",

series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

publisher = "Association for Computing Machinery",

pages = "694--705",

editor = "Gordon, \{Andrew D.\} and Giuseppe Castagna",

booktitle = "POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages",

}

TY - GEN

T1 - Type systems as macros

AU - Chang, Stephen

AU - Knauth, Alex

AU - Greenman, Ben

PY - 2017/1/1

Y1 - 2017/1/1

KW - Macros

KW - Type systems

KW - Typed embedded DSLs

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

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

U2 - 10.1145/3009837.3009886

DO - 10.1145/3009837.3009886

M3 - Conference contribution

AN - SCOPUS:85015269062

T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SP - 694

EP - 705

BT - POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

A2 - Gordon, Andrew D.

A2 - Castagna, Giuseppe

PB - Association for Computing Machinery

T2 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017

Y2 - 15 January 2017 through 21 January 2017

ER -

Type systems as macros

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this