Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
4 results for "domain:adam.chlipala.net"
5
Formal Reasoning About Programs (draft book by Chlipala)
compsci
formalmethods
programming
adam.chlipala.net
via
nickpsecurity
1 year ago
|
cached
|
1 comment
1
2
Chapar: Certified Causally Consistent Distributed Key-Value Stores
☶
pdf
databases
distributed
adam.chlipala.net
via
jitterted
2 years ago
|
cached
|
no comments
0
16
Comparing OCaml and Standard ML
ml
programming
adam.chlipala.net
via
r31r06
3 years ago
|
cached
|
11 comments
11
19
Certified Programming with Dependent Types, by Adam Chlipala
☶
book
math
programming
adam.chlipala.net
via
kragen
4 years ago
|
cached
|
13 comments
13