Martín Abadi Butler W. Lampson Jean-Jacques Lévy Analysis and Caching of Dependencies. 83-91 1996 ICFP db/conf/icfp/icfp96.html#AbadiLL96