# Posts from the ‘Computer Science’ Category

- Motivating Category Theory for Haskell for Non-mathematicians on January 19, 2009

- Refal: Recursive Functions Algorithmic Language on January 8, 2009

- “Good Luck!,” Typed Scheme, and Curried Typed Scheme on November 19, 2008