Sciweavers

12084 search results - page 27 / 2417

» Effect Systems with Subtyping

16

ISDA
2009
IEEE

146views Operating System» more ISDA 2009»

Effective Feature Selection for Mars McMurdo Terrain Image Classification

14 years 2 months ago

Effective Feature Selection for Mars McMurdo Terrain Image Classification

Download cadair.aber.ac.uk

Changjing Shang, Dave Barnes, Qiang Shen

claim paper

Read More »

24

SYSTOR
2009
ACM

116views Control Systems» more SYSTOR 2009»

The effect of unrolling and inlining for Python bytecode optimizations

14 years 2 months ago

The effect of unrolling and inlining for Python bytecode optimizations

Download cs.haifa.ac.il

Yosi Ben Asher, Nadav Rotem

claim paper

Read More »

17

LISA
1996

95views Operating System» more LISA 1996»

SLINK: Simple, Effective Filesystem Maintenance Abstractions for Community-Based Administration

13 years 9 months ago

SLINK: Simple, Effective Filesystem Maintenance Abstractions for Community-Based Administration

Download www.usenix.org

Alva L. Couch

claim paper

Read More »

20

ICFP
2003
ACM

125views Programming Languages» more ICFP 2003»

Discriminative sum types locate the source of type errors

14 years 7 months ago

Discriminative sum types locate the source of type errors

Download www.informatik.uni-freiburg.de

We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...

Matthias Neubauer, Peter Thiemann

claim paper

Read More »

19

ECOOP
2007
Springer

101views Programming Languages» more ECOOP 2007»

Gradual Typing for Objects

14 years 1 months ago

Gradual Typing for Objects

Download www.cs.colorado.edu

Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...

Jeremy G. Siek, Walid Taha

claim paper

Read More »

« Prev « First page 27 / 2417 Last » Next »