@inproceedings{conf/popl/Wand85,
  added-at = {2012-05-21T00:00:00.000+0200},
  author = {Wand, Mitchell},
  biburl = {http://www.bibsonomy.org/bibtex/27aa093f0241102c76edb4febe17881c6/dblp},
  booktitle = {POPL},
  crossref = {conf/popl/1985},
  editor = {Deusen, Mary S. Van and Galil, Zvi and Reid, Brian K.},
  ee = {http://doi.acm.org/10.1145/318593.318602},
  interhash = {c0ac4d0dba53dff66357575f31d0daa5},
  intrahash = {7aa093f0241102c76edb4febe17881c6},
  isbn = {0-89791-147-4},
  keywords = {dblp},
  pages = {1-6},
  publisher = {ACM Press},
  timestamp = {2012-05-21T00:00:00.000+0200},
  title = {Embedding Type Structure in Semantics.},
  url = {http://dblp.uni-trier.de/db/conf/popl/popl85.html#Wand85},
  year = 1985
}