%0 Conference Paper %1 conf/popl/BrownP17 %A Brown, Matt %A Palsberg, Jens %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K dblp %P 415-428 %T Typed self-evaluation via intensional type functions. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#BrownP17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/BrownP17, added-at = {2021-06-14T00:00:00.000+0200}, author = {Brown, Matt and Palsberg, Jens}, biburl = {https://www.bibsonomy.org/bibtex/27eb07d02993708fbe6497a7a557b48c1/dblp}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {https://doi.org/10.1145/3093333.3009853}, interhash = {d44bd2357c6c1a6de27ca04cecc2bb49}, intrahash = {7eb07d02993708fbe6497a7a557b48c1}, isbn = {978-1-4503-4660-3}, keywords = {dblp}, pages = {415-428}, publisher = {ACM}, timestamp = {2024-04-09T13:30:08.000+0200}, title = {Typed self-evaluation via intensional type functions.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#BrownP17}, year = 2017 }