Sciweavers

    10666 search results - page 170 / 2134
    » Quantum programming languages
    Sort
    View
    ICFP
    2001
    ACM
    90views Programming Languages» more  ICFP 2001»
    Possibilities and Limitations of Call-by-Need Space Improvement
    16 years 7 months ago
    Possibilities and Limitations of Call-by-Need Space Improvement
    Download  www.cs.chalmers.se
    David Sands, Jörgen Gustavsson
    claim paper
    Read More »
    157
    Voted
    ICFP
    2001
    ACM
    142views Programming Languages» more  ICFP 2001»
    Automatic Generation of Staged Geometric Predicates
    16 years 7 months ago
    Automatic Generation of Staged Geometric Predicates
    Download  www.aladdin.cs.cmu.edu
    Aleksandar Nanevski, Guy E. Blelloch, Robert Harpe...
    claim paper
    Read More »
    133
    Voted
    ICFP
    2001
    ACM
    107views Programming Languages» more  ICFP 2001»
    Real-Time FRP
    16 years 7 months ago
    Real-Time FRP
    Download  www.haskell.org
    Zhanyong Wan, Walid Taha, Paul Hudak
    claim paper
    Read More »
    POPL
    2010
    ACM
    188views Programming Languages» more  POPL 2010»
    Decision Procedures for Algebraic Data Types with Abstractions
    16 years 4 months ago
    Decision Procedures for Algebraic Data Types with Abstractions
    Download  lara.epfl.ch
    Philippe Suter, Mirco Dotta, Viktor Kuncak
    claim paper
    Read More »
    POPL
    2010
    ACM
    224views Programming Languages» more  POPL 2010»
    Modular Verification of Security Protocol Code by Typing
    16 years 4 months ago
    Modular Verification of Security Protocol Code by Typing
    Download  www.cl.cam.ac.uk
    Andrew D. Gordon, Cédric Fournet, Karthikey...
    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.