Program Extraction / Calculus of Constructions

Article View: comp.lang.misc

Article #6283

#6283

From: Dwight Spencer
Date: Tue, 07 Feb 1989 17:52

24 lines
1212 bytes

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

Technical Details

Message-ID: <1984@ogccse.ogc.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!blake!ogccse!dwights

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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