The most recent "Once, Weakly" examines the use of "type-structures" as
a compile time analog of runtime data structures. We discuss how to
construct and manipulate at compile time simple lists of integers,
function pointers, types, and templates. Follow the "Once, Weakly" link
at http://www.semantics.org.

Best regards,

Steve