Combining Deep and Shallow Embeddings: A Tutorial

I gave a tutorial during the DSL conference. Here you can find the material.

The slides

Support code in Haskell

References: