Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
2 results for "domain:publications.lib.chalmers.se"
9
Implementing and Optimizing a Simple, Dependently-Typed Language (2010)
☶
pdf
compilers
haskell
plt
publications.lib.chalmers.se
via
nickpsecurity
6 months ago
|
cached
|
5 comments
5
7
Safer smart contracts through type-driven development
pdf
haskell
security
publications.lib.chalmers.se
via
355E3B
2 years ago
|
cached
|
no comments
0