Sciweavers

    828 search results - page 5 / 166
    » types 2000
    Sort
    View
    103
    Voted
    CONCURRENCY
    2000
    96views more  CONCURRENCY 2000»
    Locality optimization in JavaParty by means of static type analysis
    15 years 3 months ago
    Locality optimization in JavaParty by means of static type analysis
    Download  www2.informatik.uni-erlangen.de
    Michael Philippsen, Bernhard Haumacher
    claim paper
    Read More »
    ENTCS
    2000
    52views more  ENTCS 2000»
    Developing Theories of Types and Computability via Realizability
    15 years 3 months ago
    Developing Theories of Types and Computability via Realizability
    Download  www.itu.dk
    Lars Birkedal
    claim paper
    Read More »
    112
    Voted
    JFP
    2000
    75views more  JFP 2000»
    Do we need dependent types?
    15 years 3 months ago
    Do we need dependent types?
    Download  www.brics.dk
    Daniel Fridlender, Mia Indrika
    claim paper
    Read More »
    122
    Voted
    LICS
    2000
    IEEE
    106views Automated Reasoning» more  LICS 2000»
    A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping
    15 years 7 months ago
    A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping
    Download  www.pps.jussieu.fr
    We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
    Alexandre Miquel
    claim paper
    Read More »
    ICFP
    2000
    ACM
    78views Programming Languages» more  ICFP 2000»
    Regular expression types for XML
    15 years 7 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.