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