Yann Regis-Gianas (PPS

Identifiers

• name variant Yann Regis-Gianas (PPS 0.60 · backfill

Papers (1)

1. Certifying and reasoning about cost annotations of functional programs cs.PL · 2011 · author #2

Mentions

• 1110.2350 #2 · backfill · confidence 0.70 Yann Regis-Gianas (PPS

Frequent Coauthors

• INRIA Paris - Rocquencourt) 1 shared papers
• Roberto M. Amadio (PPS) 1 shared papers