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.