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 × Brazil
1 × Japan
1 × Poland
1 × Spain
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
D.Kesner A.Ríos C.Lombardi F.Bavera A.Viso P.Barenbaum Kareem Mohamed B.Accattoli
Talks about:
order (4) higher (3) substitut (2) normalis (2) explicit (2) pattern (2) calculi (2) strong (2) rewrit (2) object (2)

Person: Eduardo Bonelli

DBLP DBLP: Bonelli:Eduardo

Contributed to:

POPL 20142014
RTA 20122012
SAC 20082008
FoSSaCS 20032003
RTA 20012001
RTA 20002000
CSL 19991999
CSL 20202020
PPDP 20182018

Wrote 9 papers:

POPL-2014-AccattoliBKL #standard #theorem
A nonstandard standardization theorem (BA, EB, DK, CL), pp. 659–670.
RTA-2012-BonelliKLR #calculus #normalisation
Normalisation for Dynamic Pattern Calculi (EB, DK, CL, AR), pp. 117–132.
SAC-2008-BaveraB #analysis #bytecode #data flow #policy #type system
Type-based information flow analysis for bytecode languages with variable object field policies (FB, EB), pp. 347–351.
FoSSaCS-2003-Bonelli #calculus #higher-order #normalisation
A Normalisation Result for Higher-Order Calculi with Explicit Substitutions (EB), pp. 153–168.
RTA-2001-BonelliKR #first-order #higher-order
From Higher-Order to First-Order Rewriting (EB, DK, AR), pp. 47–62.
RTA-2000-BonelliKR #higher-order
A de Bruijn Notation for Higher-Order Rewriting (EB, DK, AR), pp. 62–79.
CSL-1999-Bonelli #using
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting (EB), pp. 204–219.
CSL-2020-KesnerBV #bisimulation
Strong Bisimulation for Control Operators (Invited Talk) (DK, EB, AV), p. 23.
PPDP-2018-BarenbaumBM #call-by #fixpoint #pattern matching
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract (PB, EB, KM), p. 12.

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.