A Reflection−based Proof Tactic for Lattices in Coq
Daniel W.H. James and Ralf Hinze
Book Title
Post−symposium proceedings of the 10th Symposium on Trends in Functional Programming
Editor
Horváth‚ Zoltán and Zsόk‚ Viktόria
ISBN
9781841504056
Location
Komarno‚ Slovakia
Month
June
Note
http://www.intellectbooks.co.uk/books/view−Book‚id=4740/
Publisher
Intellect
Series
TFP '09
Year
2009