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 × Denmark
1 × Spain
2 × United Kingdom
Collaborated with:
K.Hammond S.Jost M.Florido Á.J.R.Portillo H.Loidl H.R.Simões
Talks about:
function (3) analysi (3) program (2) automat (2) recurs (2) infer (2) alloc (2) lazi (2) cost (2) polymorph (1)

Person: Pedro B. Vasconcelos

DBLP DBLP: Vasconcelos:Pedro_B=

Contributed to:

ESOP 20152015
ICFP 20122012
IFL 20032003
IFL 20022002

Wrote 4 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.
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.
IFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.
IFL-2002-PortilloHLV #automation #cost analysis #using
Cost Analysis Using Automatic Size and Time Inference (ÁJRP, KH, HWL, PBV), pp. 232–248.

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.