Laurent Fousse (LJK

Identifiers

• name variant Laurent Fousse (LJK 0.60 · backfill

Papers (1)

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

Mentions

• 1112.2396 #7 · backfill · confidence 0.70 Laurent Fousse (LJK

Frequent Coauthors

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