Sciweavers

    12084 search results - page 27 / 2417
    » Effect Systems with Subtyping
    Sort
    View
    ISDA
    2009
    IEEE
    146views Operating System» more  ISDA 2009»
    Effective Feature Selection for Mars McMurdo Terrain Image Classification
    16 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 »
    147
    Voted
    SYSTOR
    2009
    ACM
    116views Control Systems» more  SYSTOR 2009»
    The effect of unrolling and inlining for Python bytecode optimizations
    16 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 »
    LISA
    1996
    95views Operating System» more  LISA 1996»
    SLINK: Simple, Effective Filesystem Maintenance Abstractions for Community-Based Administration
    15 years 8 months ago
    SLINK: Simple, Effective Filesystem Maintenance Abstractions for Community-Based Administration
    Download  www.usenix.org
    Alva L. Couch
    claim paper
    Read More »
    ICFP
    2003
    ACM
    125views Programming Languages» more  ICFP 2003»
    Discriminative sum types locate the source of type errors
    16 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 »
    ECOOP
    2007
    Springer
    101views Programming Languages» more  ECOOP 2007»
    Gradual Typing for Objects
    16 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 »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.