Type soundness

Results: 17



#Item
1Type Soundness for Dependent Object Types (DOT) * Complete We sis

Type Soundness for Dependent Object Types (DOT) * Complete We sis

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2016-10-14 07:11:23
2Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2016-11-19 05:24:33
3Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar tifact

Big Types in Little Runtime Open-World Soundness and Collaborative Blame for Gradual Type Systems Jeremy G. Siek Ar tifact

Add to Reading List

Source URL: homes.soic.indiana.edu

- Date: 2017-01-20 03:43:22
    4Type Soundness Proofs with Definitional Interpreters Ar Ev

    Type Soundness Proofs with Definitional Interpreters Ar Ev

    Add to Reading List

    Source URL: lampwww.epfl.ch

    - Date: 2016-12-01 23:01:36
      5Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap

      Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap

      Add to Reading List

      Source URL: www.cs.bu.edu

      Language: English - Date: 2009-12-18 13:56:03
      6Keywords and phrases Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics Digital Object IdentifierLIPIcsIntroduction

      Keywords and phrases Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics Digital Object IdentifierLIPIcsIntroduction

      Add to Reading List

      Source URL: web.cecs.pdx.edu

      Language: English - Date: 2016-05-03 20:27:50
      7— Technical Report — Version 2.0: revised and extended JanuaryInitially published JulyFrom F to DOT: Type Soundness Proofs with Definitional Interpreters Tiark Rompf ∗

      — Technical Report — Version 2.0: revised and extended JanuaryInitially published JulyFrom F to DOT: Type Soundness Proofs with Definitional Interpreters Tiark Rompf ∗

      Add to Reading List

      Source URL: arxiv.org

      Language: English - Date: 2016-02-07 20:48:59
        8Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique

        Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique

        Add to Reading List

        Source URL: who.rocq.inria.fr

        Language: English - Date: 2014-12-18 18:53:18
        9Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1

        Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1

        Add to Reading List

        Source URL: www.cs.berkeley.edu

        Language: English - Date: 2010-10-29 12:59:42
        101 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER

        1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER

        Add to Reading List

        Source URL: gallium.inria.fr

        Language: English - Date: 2012-09-21 10:50:57