Ph\'uc C. Nguy\~en

Identifiers

• name variant Ph\'uc C. Nguy\~en 0.60 · backfill

Papers (1)

1. Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification cs.PL · 2020 · author #2

Mentions

• 2007.12630 #2 · arxiv_oai · confidence 0.70 Ph\'uc C. Nguy\~en

Frequent Coauthors

• Cameron Moy 1 shared papers
• David Van Horn 1 shared papers
• Sam Tobin-Hochstadt 1 shared papers