Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Matthew Flatt Matthias Felleisen Languages as libraries. 132-141 2011 PLDI http://doi.acm.org/10.1145/1993498.1993514 conf/pldi/2011 db/conf/pldi/pldi2011.html#Tobin-HochstadtSCFF11