1003 search results - page 22 / 201 » Type Inference with Inequalities |
120
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
112
click to vote
SIGMOD
1989
ACM
15 years 6 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
101
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
120
Voted
CSDA
2011
14 years 9 months ago
2011
In this article we consider the statistical inferences of the unknown parameters of a Weibull distribution when the data are Type-I censored. It is well known that the maximum lik...
97
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...