Roberto M. Amadio (PPS)

Identifiers

• name variant Roberto M. Amadio (PPS) 0.60 · backfill

Papers (3)

1. Certifying and reasoning about cost annotations of functional programs cs.PL · 2011 · author #1
2. Elementary affine $lambda$-calculus with multithreading and side effects cs.PL · 2011 · author #2
3. Certifying cost annotations in compilers cs.PL · 2010 · author #1

Mentions

• 1110.2350 #1 · backfill · confidence 0.70 Roberto M. Amadio (PPS)
• 1102.4971 #2 · backfill · confidence 0.70 Roberto M. Amadio (PPS)
• 1010.1697 #1 · backfill · confidence 0.70 Roberto M. Amadio (PPS)

Frequent Coauthors

• INRIA Paris - Rocquencourt) 2 shared papers
• Antoine Madet (PPS) 1 shared papers
• Nicolas Ayache (PPS 1 shared papers
• Ronan Saillard (PPS 1 shared papers
• Yann R\'egis-Gianas (PPS 1 shared papers
• Yann Regis-Gianas (PPS 1 shared papers