goto.ucsd.edu: 11 stories from 7 submitters

  1. 11
    ``Rewrite it in Rust'' Considered Harmful? pdf c rust security goto.ucsd.edu
    calvin avatar via calvin 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  2. 10
    Low-Level Liquid Types pdf plt goto.ucsd.edu
    355E3B avatar via 355E3B 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 9
    Liquid Haskell: Haskell as a Theorem Prover ☶ book pdf compsci haskell goto.ucsd.edu
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 4
    Refinement Reflection on ADTs: Lists are Monoids compsci haskell goto.ucsd.edu
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 5
    LiquidHaskell: Verification of Haskell Code with SMTs slides haskell goto.ucsd.edu
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 3
    Refinement Types 101 - LiquidHaskell ☶ haskell programming goto.ucsd.edu
    pushcx avatar via pushcx 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 10
    Pointers Gone Wild, Preventing Heartbleeds via Refinement Types haskell practices goto.ucsd.edu
    twopoint718 avatar via twopoint718 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 6
    LiquidHaskell: Experience with Refinement Types in the Real World pdf haskell programming goto.ucsd.edu
    pushcx avatar via pushcx 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 10
    Introducing PeaCoq math ml goto.ucsd.edu
    stip avatar via stip 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 5
    Automating Formal Proofs for Reactive Systems compsci math goto.ucsd.edu
    inactive-user avatar via inactive-user 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 1
    Dependent types for JavaScript javascript goto.ucsd.edu
    SeanTAllen avatar via SeanTAllen 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments