Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Van Hung (2016) A type system for calculating the maximum log memory used by transactional programs. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.