HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Safer smart contracts through type-driven development in idris [pdf]
publications.lib.chalmers.se
2 comments
10 years ago
jobstijl
31 points
2.
▲
Yi: An Editor in Haskell for Haskell (2008) [pdf]
publications.lib.chalmers.se
1 comment
11 years ago
mschmo
8 points
3.
▲
Dependently Typed Ethereum Contracts in Idris [pdf]
publications.lib.chalmers.se
discuss
10 years ago
rwosync
4 points
4.
▲
Device driver development in Rust for TockOS [pdf]
publications.lib.chalmers.se
discuss
9 years ago
dvdplm
3 points
5.
▲
Using dependent and polymorphic types for safer development of smart contracts [pdf]
publications.lib.chalmers.se
discuss
10 years ago
omphalos
3 points
6.
▲
Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf]
publications.lib.chalmers.se
discuss
4 years ago
gmgn
2 points
7.
▲
Find More Bugs with QuickCheck [pdf]
publications.lib.chalmers.se
discuss
10 years ago
ingve
2 points