BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Florido:M=aacute=rio

Contributed to:

ESOP 20152015
FLOPS 20142014
PADL 20132013
ICFP 20122012
PPDP 20112011
FoSSaCS 20072007
CSL 20062006
LOPSTR 20032003
PADL 20032003

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.