I nice and somewhat related paper is "Simple and Efficient Compilation of List Comprehension in Common Lisp" by Mario Latendresse:

http://www.iro.umontreal.ca/~latendre/publications/listCompF...