mutjida

  • Order of Evaluation 24 Apr 2013

    Introductory tutorial on whether and when expressions get evaluated.
  • Straining Tag Soup 21 May 2013

    Intermediate tutorial showing how to make a DSL for searching a collection of XML objects.
  • Typed Tagless-Final Linear Lambda Calculus

    Advanced tutorial showing how to make a typed tagless-final interpreter for a full linear lambda calculus using higher-order abstract syntax.