Typed intermediate languages for shape-analysis (1997)

by Gianni Bell, Eugenio Moggi
Venue:In Typed Lambda Calculi and Applications (TLCA'97), Lecture Notes in Computer Science 1210