Published in: LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Simon Henniger and Nada Amin. The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 41:1-41:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{henniger_et_al:LIPIcs.ECOOP.2023.41, author = {Henniger, Simon and Amin, Nada}, title = {{The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution}}, booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}, pages = {41:1--41:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-281-5}, ISSN = {1868-8969}, year = {2023}, volume = {263}, editor = {Ali, Karim and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.41}, URN = {urn:nbn:de:0030-drops-182343}, doi = {10.4230/LIPIcs.ECOOP.2023.41}, annote = {Keywords: extensible languages, meta programming, macros, program generation, compilation} }
Published in: LIPIcs, Volume 175, 25th International Conference on Types for Proofs and Programs (TYPES 2019)
Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, and Stephanie Weirich. Eta-Equivalence in Core Dependent Haskell. In 25th International Conference on Types for Proofs and Programs (TYPES 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 175, pp. 7:1-7:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{kravchukkirilyuk_et_al:LIPIcs.TYPES.2019.7, author = {Kravchuk-Kirilyuk, Anastasiya and Voizard, Antoine and Weirich, Stephanie}, title = {{Eta-Equivalence in Core Dependent Haskell}}, booktitle = {25th International Conference on Types for Proofs and Programs (TYPES 2019)}, pages = {7:1--7:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-158-0}, ISSN = {1868-8969}, year = {2020}, volume = {175}, editor = {Bezem, Marc and Mahboubi, Assia}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2019.7}, URN = {urn:nbn:de:0030-drops-130716}, doi = {10.4230/LIPIcs.TYPES.2019.7}, annote = {Keywords: Dependent types, Haskell, Irrelevance, Eta-equivalence} }
Feedback for Dagstuhl Publishing