Constructive type classes in Isabelle (2007)

Cached

Download Links

by Florian Haftmann , Makarius Wenzel
Venue:TYPES FOR PROOFS AND PROGRAMS
Citations:13 - 6 self