Strongly Typed Domain Specific Embedded Languages
Writing DSL's in Scala
Combinators, DSLs, HTML and F#