Generic Struct-of-array transformation
Mechanization of the semantics and type system of the Zee language
Untyped lambda calculus implementation in C++ using template metaprogramming
