@InProceedings{stone+:singletons,
  author = 	 {Christopher A. Stone and Robert Harper},
  title = 	 {Deciding Type Equivalence in a Language with Singleton Kinds},
  booktitle = 	 twentyseventh # popl,
  pages =	 {214--227},
  year =	 2000,
  address =	 {Boston},
  month =	 {January}
}