Posts from the ‘Refal’ Category

• Recent Posts

  • Haskell and Music: Expressing Notes, Signals, and Symphonies in Haskell
  • Functional Objects and Object-oriented Functions: Purity vs. Impurity in Pursuing Programming Paradigms
  • Alice’s Adventures in Programming Language Theory Wonderland: A Short List of Computer Science/Programming/Mathematics Books in the Style of Lewis Carroll
  • An Idea on A Language Version of Project Euler: Programming for Poets
  • Evolving Flying Fish, Running Birds, and Swimming Lizards: Resolving Paradigm Shifts
  • Paul Gauguin Couldn’t Paint, But He Still Became A Great Painter
  • Category Theory for the Mathematically Impaired: An Outline of A Short Reading List for “Mathematically-impaired Computer Scientists Trying to Learn Category Theory”
  • Dealing with Intractability and Other Fun Topics: _Computers and Intractability: A Guide to the Theory of NP-Completeness_: The Missing Title from My Advanced Algorithms Course
  • Virtually Un-Squeaking: The Paradoxical Link Between Exploring Virtual Worlds, But Studying Haskell and Scheme Instead of Squeak
  • ANN: Twitter Account

• Categories

  • Announcements
  • Cognitive Science
  • Computer Science
    • Analysis of Algorithms
    • Programming Language Theory
      • Functional Programming
        • Haskell
          • Monads
        • Haskell (Computer Science)
      • Logic Programming
        • Refal
      • Multi-paradigm Programming
        • Qi
        • Scheme
          • Continuations
        • Scheme (Computer Science)
      • Object-oriented Programming
        • Simula
        • Smalltalk
    • Theory of Computation
      • Computability Theory
      • Computational Complexity Theory
        • Theory of NP-Completeness
  • Mathematics
    • Category Theory
    • Discrete Mathematics
    • Geometry
      • Euclidean Geometry
      • Non-Euclidean Geometry
  • Poetry
  • Programming
    • Haskell (programming)
    • Lisp (programming)
    • N80-BASIC (programming)
    • Prolog (programming)
    • Scheme (programming)
    • Smalltalk (programming)
    • Standard ML (programming)
  • Psychology
  • Quotes
  • Software Engineering

• Archives

  • April 2012
  • March 2012
  • June 2011
  • December 2010
  • August 2010
  • April 2010
  • March 2010
  • December 2009
  • October 2009
  • August 2009
  • April 2009
  • March 2009
  • February 2009
  • January 2009
  • November 2008