Jean-Guillaume Dumas (LJK

Identifiers

• name variant Jean-Guillaume Dumas (LJK 0.60 · backfill

Papers (1)

1. Decorated proofs for computational effects: States cs.PL · 2011 · author #1

Mentions

• 1112.2396 #1 · backfill · confidence 0.70 Jean-Guillaume Dumas (LJK

Frequent Coauthors

• Dominique Duval (LJK 1 shared papers
• France) 1 shared papers
• Jean-Claude Reynaud (LJK 1 shared papers
• Laurent Fousse (LJK 1 shared papers
• Universit\'e de Grenoble 1 shared papers