Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Jan de Muijnck-Hughes, Edwin Brady, and Wim Vanderbauwhede. A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 20:1-20:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{demuijnckhughes_et_al:LIPIcs.ECOOP.2020.20, author = {de Muijnck-Hughes, Jan and Brady, Edwin and Vanderbauwhede, Wim}, title = {{A Framework for Resource Dependent EDSLs in a Dependently Typed Language}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {20:1--20:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-154-2}, ISSN = {1868-8969}, year = {2020}, volume = {166}, editor = {Hirschfeld, Robert and Pape, Tobias}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.20}, URN = {urn:nbn:de:0030-drops-131773}, doi = {10.4230/LIPIcs.ECOOP.2020.20}, annote = {Keywords: Dependent Types, Algebraic Effect Handlers, Domain-Specific Languages, Embedded Domain Specific Languages, Idris, Substructural Type-Systems} }
Published in: LIPIcs, Volume 169, 35th Computational Complexity Conference (CCC 2020)
Robert Andrews. Algebraic Hardness Versus Randomness in Low Characteristic. In 35th Computational Complexity Conference (CCC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 169, pp. 37:1-37:32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{andrews:LIPIcs.CCC.2020.37, author = {Andrews, Robert}, title = {{Algebraic Hardness Versus Randomness in Low Characteristic}}, booktitle = {35th Computational Complexity Conference (CCC 2020)}, pages = {37:1--37:32}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-156-6}, ISSN = {1868-8969}, year = {2020}, volume = {169}, editor = {Saraf, Shubhangi}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2020.37}, URN = {urn:nbn:de:0030-drops-125895}, doi = {10.4230/LIPIcs.CCC.2020.37}, annote = {Keywords: Polynomial identity testing, hardness versus randomness, low characteristic} }
Feedback for Dagstuhl Publishing