Cody Roux (INRIA Lorraine - LORIA)

Identifiers

• name variant Cody Roux (INRIA Lorraine - LORIA) 0.60 · backfill

Papers (2)

1. Refinement Types as Higher Order Dependency Pairs cs.LO · 2011 · author #1
2. On the relation between size-based termination and semantic labelling cs.LO · 2009 · author #2

Mentions

• 1101.0968 #1 · backfill · confidence 0.70 Cody Roux (INRIA Lorraine - LORIA)
• 0906.4173 #2 · backfill · confidence 0.70 Cody Roux (INRIA Lorraine - LORIA)

Frequent Coauthors

• Fr\'ed\'eric Blanqui (LIAMA) 1 shared papers