Skip to content

Posts from the ‘Computer Science’ Category

Thinking in Scheme and Checking a Patent Claim: A Cross-disciplinary Application of Scheme-based Reasoning on August 24, 2009

How Scheme Can Train the Mind: One Reason that MIT Should Reinstate Scheme and 6.001 on August 19, 2009

Climbing the Towers of Hanoi with Haskell-style Curry from a Monadic Container (While Sparing the Sugar!) on April 13, 2009

A Correction to “Too Much is Not Enough: The Revised^6 Report on the Algorithmic Language Scheme (R6RS)” on March 26, 2009

Too Much is Not Enough: The Revised^6 Report on the Algorithmic Language Scheme (R6RS) on February 26, 2009

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

Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories on January 16, 2009

Refal: Recursive Functions Algorithmic Language on January 8, 2009

A Cross-language Comparison of Monads in Haskell, O’Caml, and Qi on January 7, 2009

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