1280 search results - page 168 / 256 » Soft Typing with Conditional Types |
99
Voted
PLDI
2010
ACM
16 years 4 hour ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
128
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
127
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Ambient Intelligent Systems provide an unexplored hardware platform for executing distributed applications under strict energy constraints. These systems must respond quickly to c...
114
Voted
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
106
Voted
IUI
2010
ACM
15 years 11 months ago
2010
ACM
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...