Combining functional programming and hardware verification (abstract of invited talk)

@inproceedings{Seger2000CombiningFP,
  title={Combining functional programming and hardware verification (abstract of invited talk)},
  author={Carl-Johan H. Seger},
  booktitle={ICFP},
  year={2000}
}
An electrically grounded, static absorbing drapery installation which employs a decorative conductive drapery fabric having disconnectable electrical connector means installed thereon for connection to the ground terminal of a conventional wall outlet for dissipating accumulated static charge. The electrical connector means do not interfere with opening and closing of the drapery in its installed condition. Also the electrical connector means can be selectively disconnected to permit cleaning… CONTINUE READING