7124 search results - page 502 / 1425 » Programming Languages and Operating Systems |
208
click to vote
KCAP
2003
ACM
16 years 26 days ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
198
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
334
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
195
click to vote
PLDI
1998
ACM
15 years 12 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
166
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...