Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca. Tracing sharing in an imperative pure calculus. Science of Computer Programming, 172:180-202, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.