Florido, Mário: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Gödel’s system revisited

Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 970 KB

english, 2010

2

Type Inference using Constraint Handling Rules

Sandra Alves, Mário Florido

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 334 KB

english, 2002

3

[IEEE Second International Conference on Internet and Web Applications and Services (ICIW'07) - Morne, Mauritius (2007.05.13-2007.05.19)] Second International Conference on Internet and Web Applications and Services (ICIW'07) - Type-Based Static and Dynamic Website Verification

Coelho, Jorge, Florido, Mario

Year:

2007

Language:

english

File:

PDF, 279 KB

english, 2007

4

Minimality in a Linear Calculus with Iteration

Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 323 KB

english, 2008

5

The Power of Closed Reduction Strategies

Sandra Alves, Maribel Fernández, Mario Florido, Ian Mackie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 353 KB

english, 2007

6

Weak linearization of the lambda calculus

Sandra Alves, Mário Florido

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 351 KB

english, 2005

7

Linearity and iterator types for Gödel’s System

Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 911 KB

english, 2010

8

[IEEE Integration (IRI) - Las Vegas, NV, USA (2009.08.10-2009.08.12)] 2009 IEEE International Conference on Information Reuse & Integration - Collaborative schema construction using regular sequence types

Coelho, Jorge, Florido, Mario, Kutsia, Temur

Year:

2009

Language:

english

File:

PDF, 473 KB

english, 2009

9

Certifying execution time in multicores

Rodrigues, Vítor, Akesson, Benny, Florido, Mário, de Sousa, Simão Melo, Pedroso, João Pedro, Vasconcelos, Pedro

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.24 MB

english, 2015

10

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Linearity and recursion in a typed Lambda-calculus

Alves, Sandra, Fernández, Maribel, Florido, Mário, Mackie, Ian

Year:

2011

Language:

english

File:

PDF, 518 KB

english, 2011

11

[ACM Press the 9th annual ACM international workshop - Lisbon, Portugal (2007.11.09-2007.11.09)] Proceedings of the 9th annual ACM international workshop on Web information and data management - WIDM '07 - XCentric

Coelho, Jorge, Florido, Mario

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

12

[ACM Press the 10th ACM SIGPLAN workshop - Tokyo, Japan (2011.09.23-2011.09.23)] Proceedings of the 10th ACM SIGPLAN workshop on Erlang - Erlang '11 - Interfacing dynamically typed languages and the why tool

Amaral, Cláudio, Florido, Mário, Jansson, Patrik

Year:

2011

Language:

english

File:

PDF, 332 KB

english, 2011

13

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Automatic amortised analysis of dynamic memory allocation for lazy functional programs

Simões, Hugo, Vasconcelos, Pedro, Florido, Mário, Jost, Steffen, Hammond, Kevin

Year:

2012

Language:

english

File:

PDF, 527 KB

english, 2012

14

Intrahost and Interhost Variability of the HIV Type 1 nef Gene in Brazilian Children

Cavalieri, Elizabeth, Florido, Camila, Leal, Élcio, Machado, Daisy Maria, Camargo, Michelle, Diaz, Ricardo S., Janini, Luiz Mario

Journal:

AIDS Research and Human Retroviruses

Year:

2009

Language:

english

File:

PDF, 1.00 MB

english, 2009

15

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Lambda Calculus with Regular Types

Dundua, Besik, Florido, Mario, Kutsia, Temur

Year:

2015

Language:

english

File:

PDF, 367 KB

english, 2015

16

Linearization of the lambda-calculus and its relation with intersection type systems

FLORIDO, MÁRIO, DAMAS, LUÍS

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 200 KB

english, 2004

17

CLP(H): Constraint logic programming for hedges

DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 195 KB

english, 2016

18

Automatic amortised analysis of dynamic memory allocation for lazy functional programs

Simões, Hugo, Vasconcelos, Pedro, Florido, Mário, Jost, Steffen, Hammond, Kevin

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 527 KB

english, 2012

19

Type-Based Cost Analysis for Lazy Functional Languages

Jost, Steffen, Vasconcelos, Pedro, Florido, Mário, Hammond, Kevin

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.24 MB

english, 2017

20

Preface

Nigam, Vivek, Florido, Mário

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 105 KB

english, 2017

21

Pattern-based calculi with finitary matching

Alves, Sandra, Dundua, Besik, Florido, Mário, Kutsia, Temur

Journal:

Logic Journal of IGPL

Year:

2017

Language:

english

File:

PDF, 662 KB

english, 2017

22

A New Approach to Oxidative Stress and Inflammatory Signaling during Labour in Healthy Mothers and Neonates

Díaz-Castro, Javier, Florido, Jesus, Kajarabille, Naroa, Prados, Sonia, de Paco, Catalina, Ocon, Olga, Pulido-Moran, Mario, Ochoa, Julio J.

Journal:

Oxidative Medicine & Cellular Longevity

Year:

2015

Language:

english

File:

PDF, 1.42 MB

english, 2015

23

Systemic Capillary Leak Syndrome Presenting With Fulminant Recurrent Cardiogenic Shock

Arvanitis, Marios, Tuday, Eric, Florido, Roberta, Hsu, Steven, Choi, Chun W., Sharma, Kavita, Schulman, Steven P.

Journal:

Circulation Heart Failure

Year:

2019

Language:

english

File:

PDF, 236 KB

english, 2019