Adam Brooks Webber
Cornell Univ., Ithaca, NY
Optimization of functional programs by grammar thinning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static caching for incremental computation