When quoting this document, please refer to the following
DOI: 10.4230/DARTS.1.1.3
URN: urn:nbn:de:0030-drops-55121
Go back to Dagstuhl Artifacts Series

Lee, Joseph ; Aldrich, Jonathan ; Shaw, Troy ; Potanin, Alex ; Chung, Benjamin

A Theory of Tagged Objects (Artifact)

3.pdf (0.3 MB)
darts-v001-i001-03-artifact-d8ab0c1d7e5e0e679459cb705a0e10e0.tgz (2 MB)


A compiler and interpreter for Wyvern programming language written in Java and hosted on 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.

BibTeX - Entry

  author =	{Joseph Lee and Jonathan Aldrich and Troy Shaw and Alex Potanin and Benjamin Chung},
  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},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-55121},
  doi =		{10.4230/DARTS.1.1.3},
  annote =	{Keywords: objects, classes, tags, nominal and structural types}

Keywords: objects, classes, tags, nominal and structural types
Seminar: DARTS, Volume 1, Issue 1
Related Scholarly Article:
Issue Date: 2015
Date of publication: 21.10.2015

DROPS-Home | Fulltext Search | Imprint Published by LZI