Type Tailoring

Ashton Wiersdorf; Stephen Chang; Matthias Felleisen; Ben Greenman

doi:10.4230/LIPIcs.ECOOP.2024.44

Type Tailoring

Ashton Wiersdorf
, Stephen Chang
, Matthias Felleisen
, Ben Greenman

Computer Science

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

Original language	English
Title of host publication	38th European Conference on Object-Oriented Programming, ECOOP 2024
Editors	Jonathan Aldrich, Guido Salvaneschi
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)	9783959773416
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2024.44
State	Published - Sep 2024
Event	38th European Conference on Object-Oriented Programming, ECOOP 2024 - Vienna, Austria Duration: Sep 16 2024 → Sep 20 2024

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	313
ISSN (Print)	1868-8969

Conference

Conference	38th European Conference on Object-Oriented Programming, ECOOP 2024
Country/Territory	Austria
City	Vienna
Period	9/16/24 → 9/20/24

ASJC Scopus Subject Areas

Software

Keywords

Macros
Metaprogramming
Partial Evaluation
Types

Access to Document

10.4230/LIPIcs.ECOOP.2024.44

Cite this

Wiersdorf, A., Chang, S., Felleisen, M., & Greenman, B. (2024). Type Tailoring. In J. Aldrich, & G. Salvaneschi (Eds.), 38th European Conference on Object-Oriented Programming, ECOOP 2024 Article 39 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 313). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2024.44

Type Tailoring. / Wiersdorf, Ashton; Chang, Stephen; Felleisen, Matthias et al.
38th European Conference on Object-Oriented Programming, ECOOP 2024. ed. / Jonathan Aldrich; Guido Salvaneschi. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2024. 39 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 313).

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

Wiersdorf, A, Chang, S, Felleisen, M & Greenman, B 2024, Type Tailoring. in J Aldrich & G Salvaneschi (eds), 38th European Conference on Object-Oriented Programming, ECOOP 2024., 39, Leibniz International Proceedings in Informatics, LIPIcs, vol. 313, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 38th European Conference on Object-Oriented Programming, ECOOP 2024, Vienna, Austria, 9/16/24. https://doi.org/10.4230/LIPIcs.ECOOP.2024.44

@inproceedings{b29aa0bf2c10413b99373220379b271a,

title = "Type Tailoring",

keywords = "Macros, Metaprogramming, Partial Evaluation, Types",

author = "Ashton Wiersdorf and Stephen Chang and Matthias Felleisen and Ben Greenman",

note = "Publisher Copyright: {\textcopyright} Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, and Ben Greenman;; 38th European Conference on Object-Oriented Programming, ECOOP 2024 ; Conference date: 16-09-2024 Through 20-09-2024",

year = "2024",

month = sep,

doi = "10.4230/LIPIcs.ECOOP.2024.44",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

editor = "Jonathan Aldrich and Guido Salvaneschi",

booktitle = "38th European Conference on Object-Oriented Programming, ECOOP 2024",

}

TY - GEN

T1 - Type Tailoring

AU - Wiersdorf, Ashton

AU - Chang, Stephen

AU - Felleisen, Matthias

AU - Greenman, Ben

N1 - Publisher Copyright: © Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, and Ben Greenman;

PY - 2024/9

Y1 - 2024/9

KW - Macros

KW - Metaprogramming

KW - Partial Evaluation

KW - Types

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

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

U2 - 10.4230/LIPIcs.ECOOP.2024.44

DO - 10.4230/LIPIcs.ECOOP.2024.44

M3 - Conference contribution

AN - SCOPUS:85204973409

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 38th European Conference on Object-Oriented Programming, ECOOP 2024

A2 - Aldrich, Jonathan

A2 - Salvaneschi, Guido

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 38th European Conference on Object-Oriented Programming, ECOOP 2024

Y2 - 16 September 2024 through 20 September 2024

ER -

Type Tailoring

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this