typish | Dark Hacker News

1.	Reference Capabilities, Consume and Recover in Pony(bluishcoder.co.nz) 1 points by typish 8 years ago \| 0 comments
2.	A Quick Look at the Pony Programming Language(bluishcoder.co.nz) 2 points by typish 10 years ago \| 0 comments
3.	Using Freenet for Static Websites(bluishcoder.co.nz) 2 points by typish 10 years ago \| 0 comments
4.	ATS/LF for Coq Users(slideshare.net) 3 points by typish 10 years ago \| 0 comments
5.	Freenet Communication Primitives: Part 2, Service Discovery and Communication(draketo.de) 5 points by typish 10 years ago \| 0 comments
6.	Verified Efficient Programs in ATS: Qsort(illtyped.com) 2 points by typish 11 years ago \| 0 comments