Article View: comp.lang.functional
Article #55Re: linear logic and FPs - any work?
From: Mitchell Wand
Date: Tue, 11 Aug 1992 14:42
Date: Tue, 11 Aug 1992 14:42
15 lines
1129 bytes
1129 bytes
In article <2839@ucl-cs.uucp> S.Courtenage@cs.ucl.ac.uk (Si Courtenage) writes: Is there anyone out there working on implementations of functional languages using ideas from linear logic? Also, Chirimar, Gunter, and Riecke had a paper on this at the 1992 Lisp and Functional Programming conference, and Guzman and Hudak had a paper at the 1990 LICS. -- Mitchell Wand College of Computer Science, Northeastern University 360 Huntington Avenue #161CN, Boston, MA 02115 Phone: (617) 437 2072 Internet: wand@flora.ccs.northeastern.edu Fax: (617) 437 5121
Technical Details
Message-ID:
<WAND.92Aug11094253@dec5120z.ccs.northeastern.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!noc.near.net!chaos!random.ccs.northeastern.edu!newsReferences:
<2839@ucl-cs.uucp>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!noc.near.net!chaos!random.ccs.northeastern.edu!news From: wand@dec5120z.ccs.northeastern.edu (Mitchell Wand) Newsgroups: comp.lang.functional Subject: Re: linear logic and FPs - any work? Message-ID: <WAND.92Aug11094253@dec5120z.ccs.northeastern.edu> Date: 11 Aug 92 14:42:53 GMT References: <2839@ucl-cs.uucp> Sender: news@random.ccs.northeastern.edu Organization: College of Computer Science, Northeastern University Lines: 15 In-Reply-To: S.Courtenage@cs.ucl.ac.uk's message of 10 Aug 92 20: 18:46 GMT