TY  - RPRT
TI  - Towards Patterns for Heaps and Imperative Lambdas
AU  - David A. Naumann
PY  - 2015
DO  - 10.1016/j.jlamp.2015.10.008
UR  - https://arxiv.org/abs/1510.05527
ID  - 1510.05527
ER  -