License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.9
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9240/
Go back to Dagstuhl Artifacts Series


Bi, Xuan ; Oliveira, Bruno C. d. S.

Typed First-Class Traits (Artifact)

pdf-format:
DARTS-4-3-9.pdf (0.3 MB)
artifact-format:
DARTS-4-3-9-artifact-9b9bea0b8090efe771f7a5e062237807.zip (0.5 MB)


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}
}

Keywords: traits, extensible designs
Seminar: DARTS, Volume 4, Issue 3
Related Scholarly Article: https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.9
Issue Date: 2018
Date of publication: 05.07.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI