Tweetovi

Blokirali ste korisnika/cu @graydon_pub

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @graydon_pub

  1. Prikvačeni tweet
    5. kol 2019.

    Ok that's enough twitter for a while. Email if it's important.

    Poništi
  2. 4. kol 2019.

    Kobus, Kokociński & Wojciechowski: Creek: a General Mixed-Consistency Transactional Replication Scheme

    Poništi
  3. 4. kol 2019.

    Siek: Transitivity of Subtyping for Intersection Types

    Poništi
  4. 4. kol 2019.

    Ramananandro et al.: EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

    Poništi
  5. 4. kol 2019.

    Castagna, Duboc, Lanvin & Siek: A space-efficient call-by-value virtual machine for gradual set-theoretic types

    Poništi
  6. 4. kol 2019.

    Zhao, Oliveira & Schrijvers: A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference

    Poništi
  7. 4. kol 2019.

    Andersen et al.: WAVE: A Decentralized Authorization Framework with Transitive Delegation

    Poništi
  8. 4. kol 2019.

    Patterson & Ahmed: The Next 700 Compiler Correctness Theorems (Functional Pearl)

    Poništi
  9. 4. kol 2019.

    Charalambidis, Nomikos & Rondogiannis: The Expressive Power of Higher-Order Datalog

    Poništi
  10. 4. kol 2019.
    Poništi
  11. 4. kol 2019.
    Poništi
  12. 4. kol 2019.

    Rinberg et al.: Fast Concurrent Data Sketches

    Poništi
  13. 4. kol 2019.

    Abate et al.: Trace-Relating Compiler Correctness and Secure Compilation

    Poništi
  14. 4. kol 2019.

    Vergu, Tolmach & Visser: Scopes and Frames Improve Meta-Interpreter Specialization

    Poništi
  15. 4. kol 2019.

    Gariano, Noble & Servetto: CallE: An Effect System for Method Calls

    Poništi
  16. 4. kol 2019.

    Lasser, Fisher, Casinghino & Roux: A Verified LL (1) Parser Generator

    Poništi
  17. 4. kol 2019.

    Zhao & Haller: On consistency types for lattice-based distributed programming languages

    Poništi
  18. 4. kol 2019.

    Eremondi, Tanter & Garcia: Approximate Normalization for Gradual Dependent Types

    Poništi
  19. 4. kol 2019.

    Barthe, Hsu & Liao: A Probabilistic Separation Logic

    Poništi
  20. 4. kol 2019.
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·