Bi, Xuan ;
Oliveira, Bruno C. d. S.
Typed First-Class Traits (Artifact)
|
pdf-format: |
|
|
artifact-format: |
|
Abstract
This artifact contains the prototype Haskell implementation of SEDEL, with
support for first-class traits, as described in the companion paper. This artifact
also contains the source code of the case study on "Anatomy of Programming
Languages", illustrating how effective SEDEL is in terms of modularizing
programming language features. For comparison, it also includes a vanilla Haskell implementation of the case study without any code reuse.
BibTeX - Entry
@Article{bi_et_al:DARTS:2018:9240,
author = {Xuan Bi and Bruno C. d. S. Oliveira},
title = {{Typed First-Class Traits (Artifact)}},
pages = {9:1--9:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9240},
doi = {10.4230/DARTS.4.3.9},
annote = {Keywords: traits, extensible designs}
}
