🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.functional
Article #823

FTP-able bibliography on partial evaluation

#823
From: Peter Sestoft
Date: Thu, 07 Mar 1991 12:42
34 lines
2021 bytes
In a previous posting to comp.lang.functional I announced that I keep
a current bibliography on partial evaluation in Bibtex format.  The
bibliography comprises 315 entries.

The most recent version will be available for anonymous ftp from
diku.dk (Internet number 129.142.96.1).  It is found as file
/pub/doc/partial-eval.bib.Z in the ftp directory.

To obtain this file from DIKU, do the following from the Unix shell:

	(1) Type "ftp diku.dk"
	(2) Reply "ftp" to the prompt "Name (freja.diku.dk:...): "
	(3) Reply with your own e-mail address to the prompt "Password: "
  	(4) Type "cd /pub/doc"
	(5) Type "binary"
	(6) Type "get partial-eval.bib.Z" 	  -- and the transfer begins;
	(7) Type "bye"				  -- when completed.
	(8) Type "uncompress partial-eval.bib.Z"

This should leave you with a Bibtex file called "partial-eval.bib".  
I hope that you will find it useful.

People interested in partial evaluation should be aware of the ACM
Sigplan Symposium on Partial Evaluation and Semantics-Based Program
Manipulation to be held at Yale University in June 1991.  For further
details you may write Olivier Danvy (danvy@cis.ksu.edu).

Yours,
Peter Sestoft

-- 
Peter Sestoft  *  sestoft@diku.dk   *   DIKU,  Department of Computer Science
University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark
Tel: +45 31 39 64 66  *  Direct: +45 31 39 33 11/406  *  Fax: +45 31 39 02 21
Technical Details
Message-ID: <1991Mar7.124244.2642@odin.diku.dk>
Path: arc1-ca.pugleaf.net!utzoo!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!dkuug!diku!sestoft

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!dkuug!diku!sestoft
From: sestoft@diku.dk (Peter Sestoft)
Newsgroups: comp.lang.functional,diku.topps,comp.misc
Subject: FTP-able bibliography on partial evaluation
Summary: Announcing availability of ftp-able bibliography
Keywords: Partial evaluation; bibliography; Bibtex; ftp
Message-ID: <1991Mar7.124244.2642@odin.diku.dk>
Date: 7 Mar 91 12:42:44 GMT
Sender: news@odin.diku.dk (Netnews System)
Organization: Department of Computer Science, U of Copenhagen
Lines: 34