Implementation and use of annotations (0)

by Saraswati Kalvala, Myla Archer, Karl Levitt
Venue:in HOL. In L. Claesen and M. Gordon [LM92