Scalan: a reasonably typed meta programming framework in Scala by Alexander Slesarenko