26 search results - page 6 / 6 » PCPs with small soundness error |
94
Voted
POPL
2011
ACM
14 years 10 days ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...