dwights@ogccse.ogc.edu (Dwight Spencer) (02/08/89)
At the recent POPL '89 conference in Austin, Texas, the following paper was presented: Extracting {F sub omega}'s programs from prooofs in the calculus of constructions - C. Paulin-Mohring (INRIA and LIENS) I hope to locate someone who attended this conference and is willing to send me a copy of this paper. Please contact me by E-mail / phone. I am also searching for any very recent work/bibliographies concerning program extraction from various type calculi and also the calculus of constructions as a specification/design language. Thanks in advance for any help. - Dwight Spencer -- Dwight L. Spencer Dept. of Computer Science & Engineering Oregon Graduate Center, Beaverton, Oregon, USA, 97006-1999 E-mail: dwights@cse.ogc.edu Phone: (503) 690-1121 x7369