[TYPES] Formal proof of type-soundness for references in Coq

David Hopwood david.hopwood at industrial-designers.co.uk
Wed Jun 6 18:31:50 EDT 2007

David Naumann wrote:
> [Corejml 06]
> title={Preliminary Definition of Core {JML}},
> author={Gary T. Leavens and David A. Naumann and Stan Rosenberg},
> institition={Stevens Institute of Technology},
> number={CS Report 2006-07},
> URL={http://www.cs.stevens.edu/~naumann/SIT-TR-2006-07a.pdf}

Should be

David Hopwood <david.hopwood at industrial-designers.co.uk>

More information about the Types-list mailing list