I'm going to experiment with writing a research blog to document my progress in grad school. I got the idea from Phil Wadler's students.
Perhaps Mitch can use this as a way to spy on me, too...
Dave Herman's research blog.
Blog Archive
-
▼
2005
(122)
-
▼
February
(16)
- The idea of topology
- Point-free style
- Abstracting over second-class language forms
- Why compositionality matters
- Higher-order macros
- Compile-time environments
- More testing
- Doing infinity with parametricity
- Computers do infinity with laziness
- Macros that paint
- Nice filesystem testing pattern
- Modules and shadowing
- The Little Concurrent Calculist
- I'm not quite dead, sir
- Code code code...
- Research blog
-
▼
February
(16)
No comments:
Post a Comment