A compiler and interpreter for Wyvern programming language written in Java and hosted on http://github.com/wyvernlang/wyvern and some sample programs (.wyv) including the main example from the paper in borderedwindow.wyv. We also include an extract of all the unit tests of which a large number may be designed to fail -- therefore they are best run using JUnit which can be done by checking out the source tree from the GitHub project link above.
@Article{lee_et_al:DARTS.1.1.3, author = {Lee, Joseph and Aldrich, Jonathan and Shaw, Troy and Potanin, Alex and Chung, Benjamin}, title = {{A Theory of Tagged Objects (Artifact)}}, pages = {3:1--3:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2015}, volume = {1}, number = {1}, editor = {Lee, Joseph and Aldrich, Jonathan and Shaw, Troy and Potanin, Alex and Chung, Benjamin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.3}, URN = {urn:nbn:de:0030-drops-55121}, doi = {10.4230/DARTS.1.1.3}, annote = {Keywords: objects, classes, tags, nominal and structural types} }
d8ab0c1d7e5e0e679459cb705a0e10e0
(Get MD5 Sum)
Feedback for Dagstuhl Publishing