@InProceedings{alti:mpc04,
  author = 	 {Michael Abott and Thorsten Altenkirch and Neil Ghani 
                  and Conor McBride},
  title = 	 {Constructing Polymorphic Programs with Quotient Types},
  booktitle = 	 {7th International Conference on Mathematics of Program Construction (MPC 2004)},
  year =	 {2004}
}