Panagiotis Vekris

Identifiers

• name variant Panagiotis Vekris 0.60 · backfill

Papers (3)

1. Fast and Precise Type Checking for JavaScript cs.PL · 2017 · author #2
2. Refinement Types for TypeScript cs.PL · 2016 · author #1
3. Trust, but Verify: Two-Phase Typing for Dynamic Languages cs.PL · 2015 · author #1

Mentions

• 1504.08039 #1 · backfill · confidence 0.70 Panagiotis Vekris

Frequent Coauthors

• Benjamin Cosman 2 shared papers
• Ranjit Jhala 2 shared papers
• Avik Chaudhuri 1 shared papers
• Gabriel Levi 1 shared papers
• Marshall Roch 1 shared papers
• Sam Goldman 1 shared papers