Colin James

Posts

• Sequentialising Parallel Moves
  Short algorithm for compiling parallel moves.
• Pattern Matching in Trees
  Using Aho-Corasick to match trees against other trees.
• Aho-Corasick
  A tutorial covering my favourite string matching algorithm.
• Compiling Pattern Matching
  Brief description of Maranget's algorithm and examples.
• Compiling Lambda Calculus
  Compiling a strict variant of untyped lambda calculus to LLVM.
• ANF Conversion
  Conversion into A-Normal Form.
• Trampolining in C
  Transliterating CPS'd code into C with dynamic calls as a form of obfuscation.
• The Shelf (or TODO)
  A list of algorithms I'd like to work on at some point for this blog.