Ivan Scagnetto (Dipartimento di Matematica e Informatica

Identifiers

• name variant Ivan Scagnetto (Dipartimento di Matematica e Informatica 0.60 · backfill

Papers (1)

1. A weak HOAS approach to the POPLmark Challenge cs.LO · 2013 · author #4

Mentions

• 1303.7332 #4 · backfill · confidence 0.70 Ivan Scagnetto (Dipartimento di Matematica e Informatica

Frequent Coauthors

• Alberto Ciaffaglione (Dipartimento di Matematica e Informatica 1 shared papers
• Italia) 1 shared papers
• Universit\`a di Udine 1 shared papers