License: Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.9
URN: urn:nbn:de:0030-drops-92407
Go back to Dagstuhl Artifacts Series

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

Typed First-Class Traits (Artifact)

DARTS-4-3-9.pdf (0.3 MB)


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

  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 =		{},
  doi =		{10.4230/DARTS.4.3.9},
  annote =	{Keywords: traits, extensible designs}

Keywords: traits, extensible designs
Collection: DARTS, Volume 4, Issue 3
Related Scholarly Article:
Issue Date: 2018
Date of publication: 05.07.2018

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