Presentation Topics Each topic is a concept related to functional programming. Your 30-minute presentation should teach us what it is and how to use it. Show examples. Scrap your boilerplate (Sander Siim) http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.92.958&rep=rep1&type=pdf Lenses http://www.cis.upenn.edu/~bcpierce/papers/quotient-lenses.pdf GADTs http://research.microsoft.com/%7Esimonpj/papers/gadt/index.htm Uniqueness typing http://edsko.net/pubs/ifl06-paper.pdf
