%0 Conference Paper %1 conf/pldi/BowmanA18 %A Bowman, William J. %A Ahmed, Amal %B PLDI %D 2018 %E Foster, Jeffrey S. %E Grossman, Dan %I ACM %K dblp %P 797-811 %T Typed closure conversion for the calculus of constructions. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2018.html#BowmanA18 %@ 978-1-4503-5698-5

@inproceedings{conf/pldi/BowmanA18, added-at = {2023-03-21T00:00:00.000+0100}, author = {Bowman, William J. and Ahmed, Amal}, biburl = {https://www.bibsonomy.org/bibtex/217267838f20618d9b7f00f6d1be0fcba/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2018}, editor = {Foster, Jeffrey S. and Grossman, Dan}, ee = {https://doi.org/10.1145/3296979.3192372}, interhash = {8e0ba0daec89971f838c2c05c3ff9283}, intrahash = {17267838f20618d9b7f00f6d1be0fcba}, isbn = {978-1-4503-5698-5}, keywords = {dblp}, pages = {797-811}, publisher = {ACM}, timestamp = {2024-04-09T18:59:54.000+0200}, title = {Typed closure conversion for the calculus of constructions.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2018.html#BowmanA18}, year = 2018 }