I agree that this site is using cookies. You can find further informations here.
X
Florido, Mário
66  results:
Search for persons X
?
1

FC Portugal: RoboCup 2023 3D Simulation League Champions:

, In: RoboCup 2023: Robot World Cup XXVI; Lecture Notes in Computer Science,
Abreu, Miguel ; Mota, Pedro ; Reis, Luís Paulo.. - p. 416-427 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Execution Time Program Verification with Tight Bounds:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Silva, Ana Carolina ; Barbosa, Manuel ; Florido, Mário - p. 56-72 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Gradual Guarantee for FJ with lambda-Expressions:

, In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs,
Ângelo, Pedro ; Bono, Viviana ; Dezani-Ciancaglini, Mariangiola. - p. 32-38 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Data Type Inference for Logic Programming:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Barbosa, João ; Florido, Mário ; Costa, Vítor Santos - p. 16-37 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Typed SLD-Resolution: Dynamic Typing for Logic Programming:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Barbosa, João ; Florido, Mário ; Costa, Vítor Santos - p. 123-141 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Type Inference for Rank-2 Intersection Types Using Set Unif..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Ângelo, Pedro ; Florido, Mário - p. 462-480 , 2022
Link: https://doi.org/10.1007/..
 
?
7

A Typed Lambda Calculus with Gradual Intersection Types:

, In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming,
Ângelo, Pedro ; Florido, Mário - p. 1-13 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

Structural Rules and Algebraic Properties of Intersection T..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Alves, Sandra ; Florido, Mário - p. 60-77 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Type Inference for Rank 2 Gradual Intersection Types:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,
Ângelo, Pedro ; Florido, Mário - p. 84-120 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Resource Analysis for Lazy Evaluation with Polynomial Poten..:

, In: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages,
Moreira, Sara ; Vasconcelos, Pedro ; Florido, Mário - p. 104-114 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Type-Based Cost Analysis for Lazy Functional Languages:

Jost, Steffen ; Vasconcelos, Pedro ; Florido, Mário.
Journal of Automated Reasoning.  59 (2017)  1 - p. 87-120 , 2017
Link: https://doi.org/10.1007/..
 
?
12

Preface:

Nigam, Vivek ; Florido, Mário
Electronic Notes in Theoretical Computer Science.  332 (2017)  - p. 1-2 , 2017
Link: https://doi.org/10.1016/..
 
?
13

Pattern-based calculi with finitary matching:

Alves, Sandra ; Dundua, Besik ; Florido, Mário.
Logic Journal of the IGPL.  26 (2017)  2 - p. 203-243 , 2017
Link: https://doi.org/10.1093/..
 
?
14

CLP(H):Constraint logic programming for hedges:

DUNDUA, BESIK ; FLORIDO, MÁRIO ; KUTSIA, TEMUR.
Theory and Practice of Logic Programming.  16 (2015)  2 - p. 141-162 , 2015
Link: https://doi.org/10.1017/..
 
?
15

Certifying execution time in multicores:

Rodrigues, Vítor ; Akesson, Benny ; Florido, Mário...
Science of Computer Programming.  111 (2015)  - p. 505-534 , 2015
Link: https://doi.org/10.1016/..
 
1-15