%0 Conference Paper %1 conf/popl/MacQueenPS84 %A MacQueen, David B. %A Plotkin, Gordon D. %A Sethi, Ravi %B POPL %D 1984 %E Kennedy, Ken %E Deusen, Mary S. Van %E Landweber, Larry %I ACM Press %K dblp %P 165-174 %T An Ideal Model for Recursive Polymorphic Types. %U http://dblp.uni-trier.de/db/conf/popl/popl84.html#MacQueenPS84 %@ 0-89791-125-3

@inproceedings{conf/popl/MacQueenPS84, added-at = {2018-11-06T00:00:00.000+0100}, author = {MacQueen, David B. and Plotkin, Gordon D. and Sethi, Ravi}, biburl = {https://www.bibsonomy.org/bibtex/2fad64903e312d94c69bdb48c41938329/dblp}, booktitle = {POPL}, crossref = {conf/popl/1984}, editor = {Kennedy, Ken and Deusen, Mary S. Van and Landweber, Larry}, ee = {https://doi.org/10.1145/800017.800528}, interhash = {6f1ff8843dcc3af028bd0c729869cd88}, intrahash = {fad64903e312d94c69bdb48c41938329}, isbn = {0-89791-125-3}, keywords = {dblp}, pages = {165-174}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:43.000+0100}, title = {An Ideal Model for Recursive Polymorphic Types.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl84.html#MacQueenPS84}, year = 1984 }