@InProceedings{macqueen+:sem-hof,
  author = 	 {David B. MacQueen and Mads Tofte},
  title = 	 {A Semantics for Higher-Order Functors},
  booktitle = 	 {European Symposium on Programming},
  pages =	 {409--423},
  year =	 1994
}