Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)
Pedro Vasconcelos. Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming. In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 12:1-12:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{vasconcelos:OASIcs.ICPEC.2023.12, author = {Vasconcelos, Pedro}, title = {{Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming}}, booktitle = {4th International Computer Programming Education Conference (ICPEC 2023)}, pages = {12:1--12:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-290-7}, ISSN = {2190-6807}, year = {2023}, volume = {112}, editor = {Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.12}, URN = {urn:nbn:de:0030-drops-185080}, doi = {10.4230/OASIcs.ICPEC.2023.12}, annote = {Keywords: Functional programming, Step-by-step evaluators, Web applications} }
Published in: LIPIcs, Volume 269, 28th International Conference on Types for Proofs and Programs (TYPES 2022)
Fábio Reis, Sandra Alves, and Mário Florido. Linear Rank Intersection Types. In 28th International Conference on Types for Proofs and Programs (TYPES 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 269, pp. 8:1-8:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{reis_et_al:LIPIcs.TYPES.2022.8, author = {Reis, F\'{a}bio and Alves, Sandra and Florido, M\'{a}rio}, title = {{Linear Rank Intersection Types}}, booktitle = {28th International Conference on Types for Proofs and Programs (TYPES 2022)}, pages = {8:1--8:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-285-3}, ISSN = {1868-8969}, year = {2023}, volume = {269}, editor = {Kesner, Delia and P\'{e}drot, Pierre-Marie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2022.8}, URN = {urn:nbn:de:0030-drops-184513}, doi = {10.4230/LIPIcs.TYPES.2022.8}, annote = {Keywords: Lambda-Calculus, Intersection Types, Quantitative Types, Tight Typings} }
Published in: LIPIcs, Volume 175, 25th International Conference on Types for Proofs and Programs (TYPES 2019)
Sandra Alves, Delia Kesner, and Daniel Ventura. A Quantitative Understanding of Pattern Matching. In 25th International Conference on Types for Proofs and Programs (TYPES 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 175, pp. 3:1-3:36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{alves_et_al:LIPIcs.TYPES.2019.3, author = {Alves, Sandra and Kesner, Delia and Ventura, Daniel}, title = {{A Quantitative Understanding of Pattern Matching}}, booktitle = {25th International Conference on Types for Proofs and Programs (TYPES 2019)}, pages = {3:1--3:36}, 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.3}, URN = {urn:nbn:de:0030-drops-130672}, doi = {10.4230/LIPIcs.TYPES.2019.3}, annote = {Keywords: Intersection Types, Pattern Matching, Exact Bounds} }
Published in: LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Sandra Alves and Sabine Broda. A Unifying Framework for Type Inhabitation. In 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 108, pp. 5:1-5:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{alves_et_al:LIPIcs.FSCD.2018.5, author = {Alves, Sandra and Broda, Sabine}, title = {{A Unifying Framework for Type Inhabitation}}, booktitle = {3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)}, pages = {5:1--5:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-077-4}, ISSN = {1868-8969}, year = {2018}, volume = {108}, editor = {Kirchner, H\'{e}l\`{e}ne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.5}, URN = {urn:nbn:de:0030-drops-91758}, doi = {10.4230/LIPIcs.FSCD.2018.5}, annote = {Keywords: simple types, type inhabitation, rewriting, PSPACE} }
Feedback for Dagstuhl Publishing