Travelled to:1 × Hungary
1 × Italy
1 × Japan
1 × Portugal
1 × Sweden
1 × USA
1 × United Kingdom
2 × Denmark
Collaborated with:S.Alves M.Fernández I.Mackie J.Coelho P.B.Vasconcelos S.Jost K.Hammond C.Amaral V.S.Costa B.Dundua T.Kutsia M.Marin V.Rodrigues B.Akesson S.M.d.Sousa H.R.Simões
Talks about:program (4) type (4) function (3) analysi (3) linear (3) base (3) recurs (2) prolog (2) logic (2) alloc (2)
Person: Mário Florido
DBLP: Florido:M=aacute=rio
Contributed to:
2015
2014
2013
2012
2011
2007
2006
20032003Wrote 10 papers:
- ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
- FLOPS-2014-AmaralFC #named #prolog #testing
- PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
- FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics
- Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
- PADL-2013-RodriguesASF #abstraction #analysis #composition #declarative #multi #using
- A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.
- ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
- PPDP-2011-AlvesFFM #recursion #λ-calculus
- Linearity and recursion in a typed λ-calculus (SA, MF, MF, IM), pp. 173–182.
- FoSSaCS-2007-AlvesFFM
- Iterator Types (SA, MF, MF, IM), pp. 17–31.
- CSL-2006-AlvesFFM #linear #power of
- The Power of Linear Functions (SA, MF, MF, IM), pp. 119–134.
- LOPSTR-2003-AlvesF #program transformation
- Linearization by Program Transformation (SA, MF), pp. 160–175.
- PADL-2003-CoelhoF #logic programming #type system #xml
- Type-Based XML Processing in Logic Programming (JC, MF), pp. 273–285.