1. Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. (21st June 2018) Authors: MATSUDA, KAZUTAKA; WANG, MENG Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics. (24th October 2016) Authors: HAMANA, MAKOTO; MATSUDA, KAZUTAKA; ASADA, KAZUYUKI Journal: Mathematical structures in computer science Issue: Volume 28:Number 2(2018) Page Start: 287 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗