Lambda the Ultimate

(Turon has been mentioned before on LtU, it appears.)

Aaron Turon's PhD thesis lists 3 bullet points (heavily boiled down here since copy-paste from the pdf goes wrong): Visual artifacts for understanding; Declarative synchronization; Monadic reagents.