| Document Date: 2016-01-05 00:35:10
Open Document File Size: 628,25 KBShare Result on Facebook
City Diego La Jolla / / Company Creative Commons / Dagstuhl Publishing / Germany 1000 Trust / Microsoft / / IndustryTerm call-site / classical products / typeof operator / function call-site / refinement typing machinery / classical type systems / classical refinement systems / / Organization ECOOP’15 Trust / National Science Foundation / / Person Ranjit Jhala Univeristy / Ranjit Jhala / Panagiotis Vekris / Benjamin Cosman / John Tang Boyland / / / Position Editor / programmer / / ProgrammingLanguage ML / JavaScript / / ProvinceOrState California / / Technology Object-Oriented Programming / Digital Object Identifier / / URL http /
SocialTag |
Trust, but Verify: Two-Phase Typing for Dynamic Languages∗ Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala Univeristy of California, San Diego La Jolla, CA, 92093, USA