Sciweavers

14 search results - page 1 / 3
» popl 2011
Sort
View
POPL
2011
ACM
12 years 6 months ago
Learning minimal abstractions
Percy Liang, Omer Tripp, Mayur Naik
POPL
2011
ACM
12 years 6 months ago
Calling context abstraction with shapes
Xavier Rival, Bor-Yuh Evan Chang
POPL
2011
ACM
12 years 6 months ago
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Fl...
POPL
2011
ACM
12 years 6 months ago
Blame for all
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, ...
POPL
2011
ACM
12 years 6 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...