Sciweavers

    18429 search results - page 371 / 3686
    » Typing dynamic typing
    Sort
    View
    JISE
    2006
    68views more  JISE 2006»
    Component Identification Methods Applying Method Call Types between Classes
    15 years 6 months ago
    Component Identification Methods Applying Method Call Types between Classes
    Download  www.iis.sinica.edu.tw
    Misook Choi, Eunsook Cho
    claim paper
    Read More »
    ENGL
    2007
    531views more  ENGL 2007»
    Interval Type-2 Fuzzy Logic Toolbox
    15 years 6 months ago
    Interval Type-2 Fuzzy Logic Toolbox
    Download  www.engineeringletters.com
    Juan R. Castro, Oscar Castillo, Luis G. Mart&iacut...
    claim paper
    Read More »
    ENTCS
    2007
    113views more  ENTCS 2007»
    A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F
    15 years 6 months ago
    A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F
    Download  www.cs.bu.edu
    We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
    Kevin Donnelly, Hongwei Xi
    claim paper
    Read More »
    MJ
    2008
    71views more  MJ 2008»
    A new type of structural defects in CdZnSe/ZnSe heterostructures
    15 years 6 months ago
    A new type of structural defects in CdZnSe/ZnSe heterostructures
    Download  x-ray.net.ua
    The changes of structural and photoluminescence (PL) characteristics of MBE-grown CdZnSe/ZnSe single quantum well (QW) structures caused by Cd/Zn interdiffusion were studied by hi...
    L. V. Borkovska, N. Korsunska, V. Kladko, M. Slobo...
    claim paper
    Read More »
    120
    Voted
    ENTCS
    2007
    93views more  ENTCS 2007»
    Types for Access Control in a Calculus of Mobile Resources
    15 years 6 months ago
    Types for Access Control in a Calculus of Mobile Resources
    Download  www.brics.dk
    Hans Hüttel, Morten Kühnrich
    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.