Ângelo, Pedro; Florido, Mário Type inference for rank-2 intersection types using set unification. (English) Zbl 07719848 Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 462-480 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Ângelo} and \textit{M. Florido}, Lect. Notes Comput. Sci. 13572, 462--480 (2022; Zbl 07719848) Full Text: DOI
Alves, Sandra; Florido, Mário Structural rules and algebraic properties of intersection types. (English) Zbl 07719825 Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 60-77 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Alves} and \textit{M. Florido}, Lect. Notes Comput. Sci. 13572, 60--77 (2022; Zbl 07719825) Full Text: DOI arXiv
Barbosa, João; Florido, Mário; Costa, Vítor Santos Typed SLD-resolution: dynamic typing for logic programming. (English) Zbl 1522.68098 Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 123-141 (2022). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{J. Barbosa} et al., Lect. Notes Comput. Sci. 13474, 123--141 (2022; Zbl 1522.68098) Full Text: DOI arXiv
Barbosa, João; Florido, Mário; Santos Costa, Vítor Data type inference for logic programming. (English) Zbl 1521.68028 De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 16-37 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Barbosa} et al., Lect. Notes Comput. Sci. 13290, 16--37 (2022; Zbl 1521.68028) Full Text: DOI arXiv
Ângelo, Pedro; Florido, Mário Type inference for rank 2 gradual intersection types. (English) Zbl 1503.68035 Bowman, William J. (ed.) et al., Trends in functional programming. 20th international symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12053, 84-120 (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Ângelo} and \textit{M. Florido}, Lect. Notes Comput. Sci. 12053, 84--120 (2020; Zbl 1503.68035) Full Text: DOI
Barbosa, João; Florido, Mário; Santos Costa, Vítor A three-valued semantics for typed logic programming. (English) Zbl 07453101 Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36-51 (2019). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Barbosa} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 36--51 (2019; Zbl 07453101) Full Text: arXiv Link
Alves, Sandra; Dundua, Besik; Florido, Mário; Kutsia, Temur Pattern-based calculi with finitary matching. (English) Zbl 1492.68040 Log. J. IGPL 26, No. 2, 203-243 (2018). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{S. Alves} et al., Log. J. IGPL 26, No. 2, 203--243 (2018; Zbl 1492.68040) Full Text: DOI
Silva, Miguel; Florido, Mário; Pfenning, Frank Non-blocking concurrent imperative programming with session types. (English) Zbl 1483.68068 Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64-72 (2017). MSC: 68N19 68N15 68Q55 68Q85 PDFBibTeX XMLCite \textit{M. Silva} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64--72 (2017; Zbl 1483.68068) Full Text: arXiv Link
Nigam, Vivek (ed.); Florido, Mario (ed.) Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. (English) Zbl 1375.68023 Electronic Notes in Theoretical Computer Science 332. Amsterdam: Elsevier. 168 p., electronic only (2017). MSC: 68-06 03B70 68Q55 00B25 PDFBibTeX XMLCite \textit{V. Nigam} (ed.) and \textit{M. Florido} (ed.), Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier (2017; Zbl 1375.68023) Full Text: Link
Jost, Steffen; Vasconcelos, Pedro; Florido, Mário; Hammond, Kevin Type-based cost analysis for lazy functional languages. (English) Zbl 1409.68067 J. Autom. Reasoning 59, No. 1, 87-120 (2017). MSC: 68N18 68T15 PDFBibTeX XMLCite \textit{S. Jost} et al., J. Autom. Reasoning 59, No. 1, 87--120 (2017; Zbl 1409.68067) Full Text: DOI Link
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea CLP(\(\mathsf{H}\)): constraint logic programming for hedges. (English) Zbl 1379.68057 Theory Pract. Log. Program. 16, No. 2, 141-162 (2016). MSC: 68N17 68Q55 68T20 PDFBibTeX XMLCite \textit{B. Dundua} et al., Theory Pract. Log. Program. 16, No. 2, 141--162 (2016; Zbl 1379.68057) Full Text: DOI arXiv
Vasconcelos, Pedro; Jost, Steffen; Florido, Mário; Hammond, Kevin Type-based allocation analysis for co-recursion in lazy functional languages. (English) Zbl 1335.68035 Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 787-811 (2015). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Vasconcelos} et al., Lect. Notes Comput. Sci. 9032, 787--811 (2015; Zbl 1335.68035) Full Text: DOI Link
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Linearity: a roadmap. (English) Zbl 1303.03034 J. Log. Comput. 24, No. 3, 513-529 (2014). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{S. Alves} et al., J. Log. Comput. 24, No. 3, 513--529 (2014; Zbl 1303.03034) Full Text: DOI
Florido, Mário (ed.); Mackie, Ian (ed.) Preface: Linearity in computation. (English) Zbl 1304.00031 J. Log. Comput. 24, No. 3, 511-512 (2014). MSC: 00B15 03-06 68-06 PDFBibTeX XMLCite \textit{M. Florido} (ed.) and \textit{I. Mackie} (ed.), J. Log. Comput. 24, No. 3, 511--512 (2014; Zbl 1304.00031) Full Text: DOI
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea Constraint logic programming for hedges: a semantic reconstruction. (English) Zbl 1416.68031 Codish, Michael (ed.) et al., Functional and logic programming. 12th international symposium, FLOPS 2014, Kanazawa, Japan, June 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8475, 285-301 (2014). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{B. Dundua} et al., Lect. Notes Comput. Sci. 8475, 285--301 (2014; Zbl 1416.68031) Full Text: DOI
Simões, Hugo; Vasconcelos, Pedro; Florido, Mário; Jost, Steffen; Hammond, Kevin Automatic amortised analysis of dynamic memory allocation for lazy functional programs. (English) Zbl 1291.68027 Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 165-176 (2012). MSC: 68M07 68M20 68N18 PDFBibTeX XMLCite \textit{H. Simões} et al., in: Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP '12, Copenhagen, Denmark, September 9--15, 2012. New York, NY: Association for Computing Machinery (ACM). 165--176 (2012; Zbl 1291.68027) Full Text: DOI
Rodrigues, Vítor; Pedroso, João Pedro; Florido, Mário; de Sousa, Simão Melo Certifying execution time. (English) Zbl 1367.68074 Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 108-125 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{V. Rodrigues} et al., Lect. Notes Comput. Sci. 7177, 108--125 (2012; Zbl 1367.68074) Full Text: DOI
Florido, Mário (ed.); Mackie, Ian (ed.) Proceedings of the first international workshop on linearity, Coimbra, Portugal, September 12, 2009. (English) Zbl 1415.68025 Electronic Proceedings in Theoretical Computer Science (EPTCS) 22. Waterloo: Open Publishing Association (OPA). 64 p., electronic only, open access (2010). MSC: 68-06 03B70 68N18 68Q42 68Q85 00B25 PDFBibTeX XMLCite \textit{M. Florido} (ed.) and \textit{I. Mackie} (ed.), Proceedings of the first international workshop on linearity, Coimbra, Portugal, September 12, 2009. Waterloo: Open Publishing Association (OPA) (2010; Zbl 1415.68025) Full Text: DOI Link
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Linearity and iterator types for Gödel’s system \(\mathcal T\). (English) Zbl 1242.03032 High.-Order Symb. Comput. 23, No. 1, 1-27 (2010). MSC: 03B40 03F52 68Q05 PDFBibTeX XMLCite \textit{S. Alves} et al., High.-Order Symb. Comput. 23, No. 1, 1--27 (2010; Zbl 1242.03032) Full Text: DOI
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Gödel’s system \(\mathcal T\) revisited. (English) Zbl 1191.68154 Theor. Comput. Sci. 411, No. 11-13, 1484-1500 (2010). MSC: 68N18 PDFBibTeX XMLCite \textit{S. Alves} et al., Theor. Comput. Sci. 411, No. 11--13, 1484--1500 (2010; Zbl 1191.68154) Full Text: DOI
Alves, Sandra; Florido, Mário; Mackie, Ian; Sinot, François-Régis Minimality in a linear calculus with iteration. (English) Zbl 1279.68045 Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 163-179 (2008). MSC: 68N18 03B40 03F52 PDFBibTeX XMLCite \textit{S. Alves} et al., Electron. Notes Theor. Comput. Sci. 204, 163--179 (2008; Zbl 1279.68045) Full Text: DOI
Alves, Sandra; Fernández, Maribel; Florido, Mario; Mackie, Ian The power of closed reduction strategies. (English) Zbl 1277.03009 Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 57-74 (2007). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{S. Alves} et al., Electron. Notes Theor. Comput. Sci. 174, No. 10, 57--74 (2007; Zbl 1277.03009) Full Text: DOI
Simões, Hugo R.; Hammond, Kevin; Florido, Mário; Vasconcelos, Pedro Using intersection types for cost-analysis of higher-order polymorphic functional programs. (English) Zbl 1178.68139 Altenkirch, Thorsten (ed.) et al., Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18–21, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-74463-4/pbk). Lecture Notes in Computer Science 4502, 221-236 (2007). MSC: 68N18 PDFBibTeX XMLCite \textit{H. R. Simões} et al., Lect. Notes Comput. Sci. 4502, 221--236 (2007; Zbl 1178.68139) Full Text: DOI
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Linear recursive functions. (English) Zbl 1186.03064 Comon-Lundh, Hubert (ed.) et al., Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-73146-7/pbk). Lecture Notes in Computer Science 4600, 182-195 (2007). MSC: 03D20 03F52 PDFBibTeX XMLCite \textit{S. Alves} et al., Lect. Notes Comput. Sci. 4600, 182--195 (2007; Zbl 1186.03064) Full Text: DOI
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Iterator types. (English) Zbl 1195.03020 Seidl, Helmut (ed.), Foundations of software science and computational structures. 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 17-31 (2007). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{S. Alves} et al., Lect. Notes Comput. Sci. 4423, 17--31 (2007; Zbl 1195.03020) Full Text: DOI
Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian The power of linear functions. (English) Zbl 1225.03014 Ésik, Zoltán (ed.), Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45458-8/pbk). Lecture Notes in Computer Science 4207, 119-134 (2006). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{S. Alves} et al., Lect. Notes Comput. Sci. 4207, 119--134 (2006; Zbl 1225.03014) Full Text: DOI
Alves, Sandra; Florido, Mário Weak linearization of the lambda calculus. (English) Zbl 1077.68016 Theor. Comput. Sci. 342, No. 1, 79-103 (2005). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{S. Alves} and \textit{M. Florido}, Theor. Comput. Sci. 342, No. 1, 79--103 (2005; Zbl 1077.68016) Full Text: DOI
Alves, Sandra; Florido, Mário Linearization by program transformation. (English) Zbl 1099.68020 Bruynooghe, Maurice (ed.), Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25–27, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22174-3/pbk). Lecture Notes in Computer Science 3018, 160-175 (2004). MSC: 68N30 03B40 68N18 PDFBibTeX XMLCite \textit{S. Alves} and \textit{M. Florido}, Lect. Notes Comput. Sci. 3018, 160--175 (2004; Zbl 1099.68020) Full Text: DOI
Florido, Mário; Damas, Luís Linearization of the lambda-calculus and its relation with intersection type systems. (English) Zbl 1104.68012 J. Funct. Program. 14, No. 5, 519-546 (2004). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Florido} and \textit{L. Damas}, J. Funct. Program. 14, No. 5, 519--546 (2004; Zbl 1104.68012) Full Text: DOI
Alves, Sandra; Florido, Mário Type inference using constraint handling rules. (English) Zbl 1268.68042 Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 56-72 (2002). MSC: 68N17 PDFBibTeX XMLCite \textit{S. Alves} and \textit{M. Florido}, Electron. Notes Theor. Comput. Sci. 64, 56--72 (2002; Zbl 1268.68042) Full Text: DOI
Coelho, Jorge; Florido, Mário Type-based XML processing in logic programming. (English) Zbl 1026.68765 Dahl, Veronica (ed.) et al., Practical aspects of declarative languages. 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2562, 273-285 (2002). MSC: 68U99 68N17 PDFBibTeX XMLCite \textit{J. Coelho} and \textit{M. Florido}, Lect. Notes Comput. Sci. 2562, 273--285 (2002; Zbl 1026.68765) Full Text: Link