%0 Conference Paper %1 conf/birthday/JonesWEV16 %A Jones, Simon Peyton %A Weirich, Stephanie %A Eisenberg, Richard A. %A Vytiniotis, Dimitrios %B A List of Successes That Can Change the World %D 2016 %E Lindley, Sam %E McBride, Conor %E Trinder, Philip W. %E Sannella, Donald %I Springer %K dblp %P 292-317 %T A Reflection on Types. %U http://dblp.uni-trier.de/db/conf/birthday/wadler2016.html#JonesWEV16 %V 9600 %@ 978-3-319-30935-4

@inproceedings{conf/birthday/JonesWEV16, added-at = {2021-10-14T00:00:00.000+0200}, author = {Jones, Simon Peyton and Weirich, Stephanie and Eisenberg, Richard A. and Vytiniotis, Dimitrios}, biburl = {https://www.bibsonomy.org/bibtex/261213e8c6b9eb149462185dcf7aa7ff1/dblp}, booktitle = {A List of Successes That Can Change the World}, crossref = {conf/birthday/2016wadler}, editor = {Lindley, Sam and McBride, Conor and Trinder, Philip W. and Sannella, Donald}, ee = {https://doi.org/10.1007/978-3-319-30936-1_16}, interhash = {f36a299ff020d2a8c9998c6dd8f54975}, intrahash = {61213e8c6b9eb149462185dcf7aa7ff1}, isbn = {978-3-319-30935-4}, keywords = {dblp}, pages = {292-317}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:04:40.000+0200}, title = {A Reflection on Types.}, url = {http://dblp.uni-trier.de/db/conf/birthday/wadler2016.html#JonesWEV16}, volume = 9600, year = 2016 }