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: Bonelli:Eduardo
Contributed to:
2014
2012
2008
200320012000
19992020
2018Wrote 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.