Search
 
   

9 results for "domain:goto.ucsd.edu"

  1. 9
    Liquid Haskell: Haskell as a Theorem Prover ☶ pdf book compsci haskell goto.ucsd.edu
    pushcx avatar via pushcx 1 year ago | cached | 1 comment
  2. 4
    Refinement Reflection on ADTs: Lists are Monoids compsci haskell goto.ucsd.edu
    pushcx avatar via pushcx 1 year ago | cached | 1 comment
  3. 5
    LiquidHaskell: Verification of Haskell Code with SMTs slides haskell goto.ucsd.edu
    pushcx avatar via pushcx 1 year ago | cached | no comments
  4. 3
    Refinement Types 101 - LiquidHaskell ☶ haskell programming goto.ucsd.edu
    pushcx avatar via pushcx 2 years ago | cached | no comments
  5. 10
    Pointers Gone Wild, Preventing Heartbleeds via Refinement Types haskell practices goto.ucsd.edu
    twopoint718 avatar via twopoint718 3 years ago | cached | no comments
  6. 6
    LiquidHaskell: Experience with Refinement Types in the Real World pdf haskell programming goto.ucsd.edu
    pushcx avatar via pushcx 3 years ago | cached | no comments
  7. 10
    Introducing PeaCoq math ml goto.ucsd.edu
    stip avatar via stip 3 years ago | cached | no comments
  8. 5
    Automating Formal Proofs for Reactive Systems compsci math goto.ucsd.edu
    kyle avatar via kyle 4 years ago | cached | no comments
  9. 1
    Dependent types for JavaScript javascript goto.ucsd.edu
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments