Sciweavers

    ICFP
    1999
    ACM
    93views Programming Languages» more  ICFP 1999»
    Principals in Programming Languages: A Syntactic Proof Technique
    14 years 26 days ago
    Principals in Programming Languages: A Syntactic Proof Technique
    Download  www.cs.cornell.edu
    Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
    Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
    claim paper
    Read More »
    ICFP
    1999
    ACM
    87views Programming Languages» more  ICFP 1999»
    Atomic Heap Transactions and Fine-grain Interrupts
    14 years 26 days ago
    Atomic Heap Transactions and Fine-grain Interrupts
    Download  www.ccs.neu.edu
    Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
    Olin Shivers, James W. Clark, Roland McGrath
    claim paper
    Read More »
    ICFP
    1999
    ACM
    101views Programming Languages» more  ICFP 1999»
    Transparent Modules with Fully Syntactic Signatures
    14 years 26 days ago
    Transparent Modules with Fully Syntactic Signatures
    Download  flint.cs.yale.edu
    ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
    Zhong Shao
    claim paper
    Read More »
    ICFP
    1999
    ACM
    183views Programming Languages» more  ICFP 1999»
    Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
    14 years 26 days ago
    Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
    Download  www.pllab.riec.tohoku.ac.jp
    This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
    Atsushi Ohori, Nobuaki Yoshida
    claim paper
    Read More »
    ICFP
    1999
    ACM
    97views Programming Languages» more  ICFP 1999»
    Representing Java Classes in a Typed Intermediate Language
    14 years 26 days ago
    Representing Java Classes in a Typed Intermediate Language
    Download  flint.cs.yale.edu
    We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
    Christopher League, Zhong Shao, Valery Trifonov
    claim paper
    Read More »
    ICFP
    1999
    ACM
    116views Programming Languages» more  ICFP 1999»
    Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)
    14 years 26 days ago
    Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)
    Download  cs.wellesley.edu
    d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
    Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Tur...
    claim paper
    Read More »
    ICFP
    1999
    ACM
    134views Programming Languages» more  ICFP 1999»
    A Simple Proof Technique for Certain Parametricity Results
    14 years 26 days ago
    A Simple Proof Technique for Certain Parametricity Results
    Download  www.cs.cornell.edu
    Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
    Karl Crary
    claim paper
    Read More »
    ICFP
    1999
    ACM
    75views Programming Languages» more  ICFP 1999»
    Type Dispatch for Named Hierarchical Types
    14 years 26 days ago
    Type Dispatch for Named Hierarchical Types
    Download  www.cs.cornell.edu
    Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
    Neal Glew
    claim paper
    Read More »
    ICFP
    1999
    ACM
    114views Programming Languages» more  ICFP 1999»
    Type Inference Builds a Short Cut to Deforestation
    14 years 26 days ago
    Type Inference Builds a Short Cut to Deforestation
    Download  www.cs.kent.ac.uk
    Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
    Olaf Chitil
    claim paper
    Read More »
    ICFP
    1999
    ACM
    152views Programming Languages» more  ICFP 1999»
    Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
    14 years 26 days ago
    Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
    Download  www.ccs.neu.edu
    The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
    Matthew Flatt, Robert Bruce Findler, Shriram Krish...
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.