Published in: LIPIcs, Volume 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021)
Christa Jenkins, Andrew Marmaduke, and Aaron Stump. Simulating Large Eliminations in Cedille. In 27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 239, pp. 9:1-9:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{jenkins_et_al:LIPIcs.TYPES.2021.9, author = {Jenkins, Christa and Marmaduke, Andrew and Stump, Aaron}, title = {{Simulating Large Eliminations in Cedille}}, booktitle = {27th International Conference on Types for Proofs and Programs (TYPES 2021)}, pages = {9:1--9:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-254-9}, ISSN = {1868-8969}, year = {2022}, volume = {239}, editor = {Basold, Henning and Cockx, Jesper and Ghilezan, Silvia}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2021.9}, URN = {urn:nbn:de:0030-drops-167784}, doi = {10.4230/LIPIcs.TYPES.2021.9}, annote = {Keywords: large eliminations, generic programming, impredicative encodings, Cedille, Mendler algebra} }
Published in: LIPIcs, Volume 10, 22nd International Conference on Rewriting Techniques and Applications (RTA'11) (2011)
Aaron Stump, Garrin Kimmell, and Roba El Haj Omar. Type Preservation as a Confluence Problem. In 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 10, pp. 345-360, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{stump_et_al:LIPIcs.RTA.2011.345, author = {Stump, Aaron and Kimmell, Garrin and El Haj Omar, Roba}, title = {{Type Preservation as a Confluence Problem}}, booktitle = {22nd International Conference on Rewriting Techniques and Applications (RTA'11)}, pages = {345--360}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-30-9}, ISSN = {1868-8969}, year = {2011}, volume = {10}, editor = {Schmidt-Schauss, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2011.345}, URN = {urn:nbn:de:0030-drops-31343}, doi = {10.4230/LIPIcs.RTA.2011.345}, annote = {Keywords: Term rewriting, Type Safety, Confluence} }
Feedback for Dagstuhl Publishing