ML

• Functoriality
  July 14, 2013
• Universal Properties
  May 24, 2013
• Categories as Types
  May 4, 2013
• A Sample of Standard ML, the TreeSort Algorithm, and Monoids
  April 7, 2013