80 search results - page 1 / 16 » Information flow inference for ML |
POPL
2002
ACM
14 years 5 months ago
2002
ACM
POPL
1996
ACM
13 years 9 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
ICWE
2003
Springer
13 years 10 months ago
2003
Springer
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We show in this note that by deterministic packet sampling, the tail of the distribution of the original flow size can be obtained by rescaling that of the sampled flow size. To re...