Sciweavers

    31686 search results - page 137 / 6338
    » Resource typing in Guru
    Sort
    View
    LICS
    2005
    IEEE
    97views Automated Reasoning» more  LICS 2005»
    Recursive Polymorphic Types and Parametricity in an Operational Framework
    15 years 11 months ago
    Recursive Polymorphic Types and Parametricity in an Operational Framework
    Download  www.pps.jussieu.fr
    Paul-André Melliès, Jerome Vouillon
    claim paper
    Read More »
    IUI
    2005
    ACM
    115views Software Engineering» more  IUI 2005»
    Relaxing stylus typing precision by geometric pattern matching
    15 years 11 months ago
    Relaxing stylus typing precision by geometric pattern matching
    Download  www.almaden.ibm.com
    Per Ola Kristensson, Shumin Zhai
    claim paper
    Read More »
    SAC
    2005
    ACM
    106views Applied Computing» more  SAC 2005»
    Understanding access restriction of variant parametric types and Java wildcards
    15 years 11 months ago
    Understanding access restriction of variant parametric types and Java wildcards
    Download  www.ecs.fullerton.edu
    Giovanni Rimassa, Mirko Viroli
    claim paper
    Read More »
    125
    Voted
    CASSIS
    2005
    Springer
    129views Human Computer Interaction» more  CASSIS 2005»
    Typed Compilation Against Non-manifest Base Classes
    15 years 11 months ago
    Typed Compilation Against Non-manifest Base Classes
    Download  contrapunctus.net
    Christopher League, Stefan Monnier
    claim paper
    Read More »
    CC
    2005
    Springer
    112views System Software» more  CC 2005»
    A Study of Type Analysis for Speculative Method Inlining in a JIT Environment
    15 years 11 months ago
    A Study of Type Analysis for Speculative Method Inlining in a JIT Environment
    Download  www.sable.mcgill.ca
    Feng Qian, Laurie J. Hendren
    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.