Sciweavers

    31686 search results - page 196 / 6338
    » Resource typing in Guru
    Sort
    View
    ESOP
    2004
    Springer
    115views Programming Languages» more  ESOP 2004»
    Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
    15 years 11 months ago
    Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
    Download  www.macs.hw.ac.uk
    Tom Hirschowitz, Xavier Leroy, J. B. Wells
    claim paper
    Read More »
    IFIP
    2004
    Springer
    110views Programming Languages» more  IFIP 2004»
    Dynamic and Local Typing for Mobile Ambients
    15 years 11 months ago
    Dynamic and Local Typing for Mobile Ambients
    Download  www.dsi.unive.it
    Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
    claim paper
    Read More »
    FTDCS
    2003
    IEEE
    96views Distributed And Parallel Com...» more  FTDCS 2003»
    Exhaustive Search for Costas-Type Sequences for Multi-Target Recognition
    15 years 11 months ago
    Exhaustive Search for Costas-Type Sequences for Multi-Target Recognition
    Download  www.costasarrays.org
    Oscar Moreno, Dorothy Bollman, Li Yuchun
    claim paper
    Read More »
    IOLTS
    2002
    IEEE
    103views Hardware» more  IOLTS 2002»
    Sequential Circuits Applicable for Detecting Different Types of Faults
    15 years 10 months ago
    Sequential Circuits Applicable for Detecting Different Types of Faults
    Download  muse.tau.ac.il
    Ilya Levin, Vladimir Sinelnikov, Mark G. Karpovsky...
    claim paper
    Read More »
    ICFP
    2000
    ACM
    78views Programming Languages» more  ICFP 2000»
    Regular expression types for XML
    15 years 10 months ago
    Regular expression types for XML
    Download  www.cis.upenn.edu
    Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
    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.