Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!blake!ogccse!dwights
From: dwights@ogccse.ogc.edu (Dwight Spencer)
Newsgroups: comp.lang.misc
Subject: Program Extraction / Calculus of Constructions
Message-ID: <1984@ogccse.ogc.edu>
Date: 7 Feb 89 17:52:00 GMT
Reply-To: dwights@ogccse.UUCP (Dwight Spencer)
Organization: Oregon Graduate Center, Beaverton, OR
Lines: 24


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