@TechReport{crary+:transop,
  author = 	 {Karl Crary and Robert Harper and Perry Cheng and Leaf Petersen and Chris Stone},
  title = 	 {Transparent and Opaque Interpretations of Datatypes},
  institution =  cmu,
  year = 	 1998,
  number =	 {CMU--CS--98--177},
  address =	 {Pittsburgh, PA},
  month =	 {November},
  note =	 {(Also published as Fox Memorandum CMU--CS--FOX--98--04)}
}