I gave an introductory talk on alternative encodings of data structures and embedded languages at BFPG.

Talk slides
Annotated slides (may be slightly out of sync)