Inproceedings,

Axiomatic Constructor Classes in Isabelle/HOLCF.

, , and .
TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 147-162. Springer, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews