Sciweavers

    21 search results - page 1 / 5
    » flops 2010
    Sort
    View
    109
    Voted
    FLOPS
    2010
    Springer
    246views Automated Reasoning» more  FLOPS 2010»
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    16 years 11 days ago
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    Download  okmij.org
    Oleg Kiselyov
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    272views Automated Reasoning» more  FLOPS 2010»
    Automatic Parallelization of Recursive Functions Using Quantifier Elimination
    16 years 11 days ago
    Automatic Parallelization of Recursive Functions Using Quantifier Elimination
    Download  www.riec.tohoku.ac.jp
    Akimasa Morihata, Kiminori Matsuzaki
    claim paper
    Read More »
    128
    Voted
    FLOPS
    2010
    Springer
    312views Automated Reasoning» more  FLOPS 2010»
    Haskell Type Constraints Unleashed
    16 years 11 days ago
    Haskell Type Constraints Unleashed
    Download  www.cl.cam.ac.uk
    Dominic A. Orchard, Tom Schrijvers
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    262views Automated Reasoning» more  FLOPS 2010»
    Defunctionalized Interpreters for Call-by-Need Evaluation
    16 years 11 days ago
    Defunctionalized Interpreters for Call-by-Need Evaluation
    Download  www.zerny.dk
    Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zer...
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    310views Automated Reasoning» more  FLOPS 2010»
    PiSigma: Dependent Types without the Sugar
    16 years 11 days ago
    PiSigma: Dependent Types without the Sugar
    Download  www.cs.nott.ac.uk
    Thorsten Altenkirch, Nils Anders Danielsson, Andre...
    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.