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.
@Article{bi_et_al:DARTS.4.3.9, author = {Bi, Xuan and Oliveira, Bruno C. d. S.}, title = {{Typed First-Class Traits (Artifact)}}, pages = {9:1--9:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2018}, volume = {4}, number = {3}, editor = {Bi, Xuan and Oliveira, Bruno C. d. S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.9}, URN = {urn:nbn:de:0030-drops-92407}, doi = {10.4230/DARTS.4.3.9}, annote = {Keywords: traits, extensible designs} }
9b9bea0b8090efe771f7a5e062237807
(Get MD5 Sum)
Feedback for Dagstuhl Publishing