Sciweavers

    27119 search results - page 74 / 5424
    » Languages
    Sort
    View
    APLAS
    2000
    ACM
    98views Programming Languages» more  APLAS 2000»
    Generic Validation of Structural Content with Parametric Modules
    15 years 7 months ago
    Generic Validation of Structural Content with Parametric Modules
    Download  www.sinica.edu.tw
    Tyng-Ruey Chuang
    claim paper
    Read More »
    APLAS
    2000
    ACM
    111views Programming Languages» more  APLAS 2000»
    Mining Optimized Ranges
    15 years 7 months ago
    Mining Optimized Ranges
    Download  www.ipl.t.u-tokyo.ac.jp
    Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    claim paper
    Read More »
    ICFP
    2000
    ACM
    105views Programming Languages» more  ICFP 2000»
    QuickCheck: a lightweight tool for random testing of Haskell programs
    15 years 7 months ago
    QuickCheck: a lightweight tool for random testing of Haskell programs
    Download  www.church-project.org
    Koen Claessen, John Hughes
    claim paper
    Read More »
    ICFP
    2000
    ACM
    107views Programming Languages» more  ICFP 2000»
    Information flow inference for free
    15 years 7 months ago
    Information flow inference for free
    Download  www.cs.ucla.edu
    François Pottier, Sylvain Conchon
    claim paper
    Read More »
    ICFP
    2000
    ACM
    141views Programming Languages» more  ICFP 2000»
    Understanding memory allocation of scheme programs
    15 years 7 months ago
    Understanding memory allocation of scheme programs
    Download  www.hpl.hp.com
    Manuel Serrano, Hans-Juergen Boehm
    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.