770 search results - page 33 / 154 » Dinatural Terms in System F |
BCSHCI
2007
14 years 11 months ago
2007
This poster builds on comparative ethnographic work of a multi-disciplinary medical team using a paper-based and a computer-based patient record system. It describes the design an...
POPL
2011
ACM
14 years 18 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...
114
click to vote
POPL
2011
ACM
14 years 18 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
111
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
ICFP
2000
ACM
15 years 2 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...