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: OASIcs, Volume 51, 5th Symposium on Languages, Applications and Technologies (SLATE'16) (2016)
Miguel Ferreira, Nelma Moreira, and Rogério Reis. Automata Serialization for Manipulation and Drawing. In 5th Symposium on Languages, Applications and Technologies (SLATE'16). Open Access Series in Informatics (OASIcs), Volume 51, pp. 15:1-15:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{ferreira_et_al:OASIcs.SLATE.2016.15, author = {Ferreira, Miguel and Moreira, Nelma and Reis, Rog\'{e}rio}, title = {{Automata Serialization for Manipulation and Drawing}}, booktitle = {5th Symposium on Languages, Applications and Technologies (SLATE'16)}, pages = {15:1--15:7}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-006-4}, ISSN = {2190-6807}, year = {2016}, volume = {51}, editor = {Mernik, Marjan and Leal, Jos\'{e} Paulo and Gon\c{c}alo Oliveira, Hugo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2016.15}, URN = {urn:nbn:de:0030-drops-60209}, doi = {10.4230/OASIcs.SLATE.2016.15}, annote = {Keywords: automata, serialization, visualization} }
Feedback for Dagstuhl Publishing