%0 Journal Article %1 journals/pacmpl/SerranoHJV20 %A Serrano, Alejandro %A Hage, Jurriaan %A Jones, Simon Peyton %A Vytiniotis, Dimitrios %D 2020 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 89:1-89:29 %T A quick look at impredicativity. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#SerranoHJV20 %V 4

@article{journals/pacmpl/SerranoHJV20, added-at = {2021-02-17T00:00:00.000+0100}, author = {Serrano, Alejandro and Hage, Jurriaan and Jones, Simon Peyton and Vytiniotis, Dimitrios}, biburl = {https://www.bibsonomy.org/bibtex/26e1854c7aa8ba5f57d015f33a3a69175/dblp}, ee = {https://doi.org/10.1145/3408971}, interhash = {ebb02ebd181de144628b13860872a8ce}, intrahash = {6e1854c7aa8ba5f57d015f33a3a69175}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {89:1-89:29}, timestamp = {2024-04-08T09:54:02.000+0200}, title = {A quick look at impredicativity.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#SerranoHJV20}, volume = 4, year = 2020 }