Tipos e regiões

No embalo dos estudos sobre garbage collection, estou estudando gerenciamento de memória baseado em regiões. E teoria dos tipos também. A idéia é tentar generalizar algumas técnicas relacionadas a regiões e pensar em gerenciamento de memória baseado em tipos (type-directed memory management). Não sei se vai sair algo daí, talvez nada, talvez minha dissertação, mas é uma investigação. Veremos.