Benjamin Cosman

Identifiers

• name variant Benjamin Cosman 0.60 · backfill

Papers (3)

1. Local Refinement Typing cs.PL · 2017 · author #1
2. Refinement Types for TypeScript cs.PL · 2016 · author #2
3. Trust, but Verify: Two-Phase Typing for Dynamic Languages cs.PL · 2015 · author #2

Mentions

• 1504.08039 #2 · backfill · confidence 0.70 Benjamin Cosman

Frequent Coauthors

• Ranjit Jhala 3 shared papers
• Panagiotis Vekris 2 shared papers