Trek through Pure Reason
Let's see how far we can go.
Josh Ko
- Oxford University Dept. of Computer Science
- DPhil Student
Previous Posts
- Generic Programming
- 源頭
- 是我證的？
- 個位數
- Notes on a Derivation of Activity-Selection
- CHECK!!
- The Last Proof Obligation
- Christopher Strachey
- 暴衝
- 解禁
Archives
- Old Blogs (2005/03 ~ 2006/05)
- Blogger:
or direct your browser to http://joshkos.blogspot.com/
yyyy_mm_01_archive.html
會不會是因為生活作息不正常的關係XD?
<< 回到主頁