Sciweavers

18429 search results - page 292 / 3686
» Typing dynamic typing
Sort
View
PEPM
2009
ACM
16 years 3 months ago
Improving type error messages for generic java
Nabil El Boustani, Jurriaan Hage
WWW
2010
ACM
16 years 1 months ago
Exploring searcher interactions for distinguishing types of commercial intent
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
Qi Guo, Eugene Agichtein
FLOPS
2010
Springer
16 years 1 months ago
PiSigma: Dependent Types without the Sugar
Thorsten Altenkirch, Nils Anders Danielsson, Andre...
FLOPS
2010
Springer
16 years 1 months ago
Haskell Type Constraints Unleashed
Dominic A. Orchard, Tom Schrijvers
FOCS
2009
IEEE
16 years 1 months ago
Approximation Algorithms for Multicommodity-Type Problems with Guarantees Independent of the Graph Size
— Linial, London and Rabinovich [16] and Aumann and Rabani [3] proved that the min-cut max-flow ratio for general maximum concurrent flow problems (when there are k commodities...
Ankur Moitra