@inproceedings{FPCA-1989-Takayama,
	author        = "Yukihide Takayama",
	booktitle     = "{Proceedings of the Fourth Conference on Functional Programming Languages and Computer Architecture}",
	doi           = "10.1145/99370.99396",
	isbn          = "0-201-51389-7",
	pages         = "299--312",
	publisher     = "{ACM Press}",
	title         = "{Extended Projection — New Method to Extract Efficient Programs from Constructive Proofs}",
	year          = 1989,
}