Takayama, Yukihide "Extended projection?new method to extract efficient programs from constructive proofs" Proceedings of the fourth international conference on Functional Programming Languages and Computer Architecture Imperial College, London, United Kingdom
pp299 - 312 (1990) |