Alberto Ciaffaglione (Dipartimento di Matematica e Informatica

Identifiers

• name variant Alberto Ciaffaglione (Dipartimento di Matematica e Informatica 0.60 · backfill

Papers (1)

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

Mentions

• 1303.7332 #1 · backfill · confidence 0.70 Alberto Ciaffaglione (Dipartimento di Matematica e Informatica

Frequent Coauthors

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