%0 Journal Article %1 journals/darts/JonesHN15 %A Jones, Timothy %A Homer, Michael %A Noble, James %D 2015 %J Dagstuhl Artifacts Ser. %K dblp %N 1 %P 04:1-04:2 %T Brand Objects for Nominal Typing (Artifact). %U http://dblp.uni-trier.de/db/journals/darts/darts1.html#JonesHN15 %V 1

@article{journals/darts/JonesHN15, added-at = {2020-09-01T00:00:00.000+0200}, author = {Jones, Timothy and Homer, Michael and Noble, James}, biburl = {https://www.bibsonomy.org/bibtex/2bcbd8501a7deaa9c55555626d0c036db/dblp}, ee = {https://doi.org/10.4230/DARTS.1.1.4}, interhash = {48e3fce39b20a807d46b97b67435f350}, intrahash = {bcbd8501a7deaa9c55555626d0c036db}, journal = {Dagstuhl Artifacts Ser.}, keywords = {dblp}, number = 1, pages = {04:1-04:2}, timestamp = {2020-09-09T11:54:01.000+0200}, title = {Brand Objects for Nominal Typing (Artifact).}, url = {http://dblp.uni-trier.de/db/journals/darts/darts1.html#JonesHN15}, volume = 1, year = 2015 }