@inproceedings{Meyer:1986:TT:512644.512671,
    Address = {New York, NY, USA},
    Author = {Meyer, Albert R. and Reinhold, Mark B.},
    BookTitle = {Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
    Location = {St. Petersburg Beach, Florida},
    Pages = {287--295},
    Publisher = {ACM},
    Series = {POPL '86},
    Title = {"Type" is Not a Type},
    URL = {http://doi.acm.org/10.1145/512644.512671},
    Year = {1986},
    acmid = {512671},
    bdsk-url-1 = {http://doi.acm.org/10.1145/512644.512671},
    bdsk-url-2 = {https://doi.org/10.1145/512644.512671},
    date-added = {2019-04-03 10:32:24 +0200},
    date-modified = {2019-04-03 10:32:24 +0200},
    numpages = {9},
    doi = {10.1145/512644.512671}
}

@inproceedings{Meyer:1986:TT:512644.512671, Address = {New York, NY, USA}, Author = {Meyer, Albert R. and Reinhold, Mark B.}, BookTitle = {Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages}, Location = {St. Petersburg Beach, Florida}, Pages = {287--295}, Publisher = {ACM}, Series = {POPL '86}, Title = {"Type" is Not a Type}, URL = {http://doi.acm.org/10.1145/512644.512671}, Year = {1986}, acmid = {512671}, bdsk-url-1 = {http://doi.acm.org/10.1145/512644.512671}, bdsk-url-2 = {https://doi.org/10.1145/512644.512671}, date-added = {2019-04-03 10:32:24 +0200}, date-modified = {2019-04-03 10:32:24 +0200}, numpages = {9}, doi = {10.1145/512644.512671} }