Mário Florido

65 papers A 2B 3C 13Misc 4Journal 17Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	CoMPSeT: A Framework for Comparing Multiparty Session Types. EXPRESS/SOS Telmo Ribeiro, José Proença, Mário Florido
2024	C	`conf`	FC Portugal: RoboCup 2024 3D Simulation League Champions. RoboCup Miguel Abreu, Pedro Mota, Tomás Azevedo, Francisco Silva, Luís Paulo Reis, Nuno Lau, Mário Florido
2024	B	`conf`	Regular Typed Unification. ICLP João Barbosa, Mário Florido, Vítor Santos Costa
2024	J	`jnl`	Towards Algebraic Subtyping for Extensible Records. CoRR Rodrigo Marques, Mário Florido, Pedro B. Vasconcelos
2023	C	`conf`	Execution Time Program Verification with Tight Bounds. PADL Ana Carolina Silva, Manuel Barbosa, Mário Florido
2023	C	`conf`	FC Portugal: RoboCup 2023 3D Simulation League Champions. RoboCup Miguel Abreu, Pedro Mota, Luís Paulo Reis, Nuno Lau, Mário Florido
2023	—	`conf`	Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
2022	C	`conf`	A Typed Lambda Calculus with Gradual Intersection Types. PPDP Pedro Ângelo, Mário Florido
2022	J	`jnl`	Execution Time Program Verification With Tight Bounds. CoRR Ana Carolina Silva, Manuel Barbosa, Mário Florido
2022	—	`conf`	Linear Rank Intersection Types. TYPES Fábio Reis, Sandra Alves, Mário Florido
2022	J	`jnl`	Linear Rank Intersection Types. CoRR Fábio Reis, Sandra Alves, Mário Florido
2022	C	`conf`	Structural Rules and Algebraic Properties of Intersection Types. ICTAC Sandra Alves, Mário Florido
2022	J	`jnl`	Structural Rules and Algebraic Properties of Intersection Types. CoRR Sandra Alves, Mário Florido
2022	C	`conf`	Type Inference for Rank-2 Intersection Types Using Set Unification. ICTAC Pedro Ângelo, Mário Florido
2022	C	`conf`	Typed SLD-Resolution: Dynamic Typing for Logic Programming. LOPSTR João Barbosa, Mário Florido, Vítor Santos Costa
2022	J	`jnl`	Typed SLD-Resolution: Dynamic Typing for Logic Programming. CoRR João Barbosa, Mário Florido, Vítor Santos Costa
2021	C	`conf`	Data Type Inference for Logic Programming. LOPSTR João Barbosa, Mário Florido, Vítor Santos Costa
2021	J	`jnl`	Data Type Inference for Logic Programming. CoRR João Barbosa, Mário Florido, Vítor Santos Costa
2020	—	`conf`	Resource Analysis for Lazy Evaluation with Polynomial Potential. IFL Sara Moreira, Pedro B. Vasconcelos, Mário Florido
2019	—	`conf`	A Three-Valued Semantics for Typed Logic Programming. ICLP Technical Communications João Barbosa, Mário Florido, Vítor Santos Costa
2019	—	`conf`	Type Inference for Rank 2 Gradual Intersection Types. TFP Pedro Ângelo, Mário Florido
2018	J	`jnl`	Pattern-based calculi with finitary matching. Log. J. IGPL Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
2017	—	`ed.`	11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016 LSFA Vivek Nigam, Mário Florido
2017	J	`jnl`	Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
2016	—	`conf`	Non-Blocking Concurrent Imperative Programming with Session Types. LINEARITY Miguel E. P. Silva, Mário Florido, Frank Pfenning
2016	—	`conf`	Preface. LSFA Vivek Nigam, Mário Florido
2015	J	`jnl`	CLP(H): Constraint Logic Programming for Hedges. CoRR Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2015	J	`jnl`	Certifying execution time in multicores. Sci. Comput. Program. Vítor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos
2015	Misc	`conf`	Lambda Calculus with Regular Types. SYNASC Besik Dundua, Mário Florido, Temur Kutsia
2015	A	`conf`	Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
2014	Misc	`conf`	Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2014	J	`jnl`	Linearity in Computation. J. Log. Comput. Mário Florido, Ian Mackie
2014	J	`jnl`	Linearity: A Roadmap. J. Log. Comput. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2014	—	`conf`	Liquid Intersection Types. ITRS Mário Pereira, Sandra Alves, Mário Florido
2014	Misc	`conf`	PrologCheck - Property-Based Testing in Prolog. FLOPS Cláudio Amaral, Mário Florido, Vítor Santos Costa
2013	C	`conf`	A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. PADL Vítor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido
2012	A	`conf`	Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
2011	—	`conf`	A Functional Approach to Worst-Case Execution Time Analysis. WFLP Vítor Rodrigues, Mário Florido, Simão Melo de Sousa
2011	—	`conf`	Certifying Execution Time. FOPARA Vítor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa
2011	—	`conf`	Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop Cláudio Amaral, Mário Florido, Patrik Jansson
2011	C	`conf`	Linearity and recursion in a typed Lambda-calculus. PPDP Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	—	`conf`	A Rule-Based Approach to XML Processing and Web Reasoning. RR Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia
2010	J	`jnl`	Gödel's system tau revisited. Theor. Comput. Sci. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Linear Recursion CoRR Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Linearity and iterator types for Gödel's System. High. Order Symb. Comput. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2009	Misc	`conf`	Collaborative Schema Construction using Regular Sequence Types. IRI Jorge Coelho, Mário Florido, Temur Kutsia
2009	—	`ed.`	Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. LINEARITY Mário Florido, Ian Mackie
2007	B	`conf`	Iterator Types. FoSSaCS Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007	—	`conf`	Linear Recursive Functions. Rewriting, Computation and Proof Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007	—	`conf`	Minimality in a Linear Calculus with Iteration. WRS@RDP Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
2007	—	`conf`	Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops Jorge Coelho, Mário Florido, Temur Kutsia
2007	C	`conf`	Type-Based Static and Dynamic Website Verification. ICIW Jorge Coelho, Mário Florido
2007	—	`conf`	XCentric: A Logic-Programming Language for XML Processing. PLAN-X Jorge Coelho, Mário Florido
2007	—	`conf`	XCentric: logic programming for XML processing. WIDM Jorge Coelho, Mário Florido
2006	—	`conf`	The Power of Closed Reduction Strategies. WRS@FLoC Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2006	B	`conf`	The Power of Linear Functions. CSL Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2006	—	`conf`	Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
2006	—	`conf`	VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. APWeb Workshops Jorge Coelho, Mário Florido
2005	J	`jnl`	Weak linearization of the lambda calculus. Theor. Comput. Sci. Sandra Alves, Mário Florido
2004	—	`conf`	CLP(Flex): Constraint Logic Programming Applied to XML Processing. CoopIS/DOA/ODBASE (2) Jorge Coelho, Mário Florido
2004	J	`jnl`	Linearization of the lambda-calculus and its relation with intersection type systems. J. Funct. Program. Mário Florido, Luís Damas
2003	C	`conf`	Linearization by Program Transformation. LOPSTR Sandra Alves, Mário Florido
2003	C	`conf`	Type-Based XML Processing in Logic Programming. PADL Jorge Coelho, Mário Florido
2002	—	`conf`	On the Relation between Rank 2 Intersection Types and Simple Types. APPIA-GULP-PRODE Sandra Alves, Mário Florido
2001	—	`conf`	Type Inference using Constraint Handling Rules. WFLP Sandra Alves, Mário Florido