Sciweavers

    31686 search results - page 124 / 6338
    » Resource typing in Guru
    Sort
    View
    ENTCS
    2008
    97views more  ENTCS 2008»
    Structured Types and Separation Logic
    15 years 5 months ago
    Structured Types and Separation Logic
    Download  www.ertos.nicta.com.au
    Harvey Tuch
    claim paper
    Read More »
    INFORMATICALT
    2008
    101views more  INFORMATICALT 2008»
    Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction
    15 years 5 months ago
    Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction
    Download  www.mii.lt
    Bruria Haberman
    claim paper
    Read More »
    JCS
    2006
    66views more  JCS 2006»
    Improved typings for probabilistic noninterference in a multi-threaded language
    15 years 5 months ago
    Improved typings for probabilistic noninterference in a multi-threaded language
    Download  users.cis.fiu.edu
    Geoffrey Smith
    claim paper
    Read More »
    MSCS
    2008
    73views more  MSCS 2008»
    Bounded polymorphism in session types
    15 years 5 months ago
    Bounded polymorphism in session types
    Download  www.dcs.gla.ac.uk
    Simon J. Gay
    claim paper
    Read More »
    ETS
    2007
    IEEE
    101views Hardware» more  ETS 2007»
    Educational Technology and Practice: Types and Timescales of Change
    15 years 5 months ago
    Educational Technology and Practice: Types and Timescales of Change
    Download  www.ifets.info
    David Riley
    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.