Article View: comp.lang.functional
Article #54Re: linear logic and FPs - any work?
From: George McCaskill
Date: Tue, 11 Aug 1992 10:07
Date: Tue, 11 Aug 1992 10:07
21 lines
1413 bytes
1413 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?
I think
"Lively linear lisp -- 'Look Ma, No Garbage'" by Henry G. Baker,
ACM SIGPLAN Notices, Volume 27, Number 8. August 1992
probably fits the bill.
g.
--
-----------------------------------------------------------------------------
George A. McCaskill | "Procrastination is the thief of time"
HardLab, Dept. of Computer Science |
University of Strathclyde, |_______________________________________
Livingston Tower, Richmond Street, gmc@cs.strath.ac.uk
Glasgow G1 1XH +44 (41) 552 4400 x3255
-----------------------------------------------------------------------------
Technical Details
Message-ID:
<GMC.92Aug11110748@black-05.cs.strath.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!strath-cs!baird!gmcReferences:
<2839@ucl-cs.uucp>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!strath-cs!baird!gmc From: gmc@cs.strath.ac.uk (George McCaskill) Newsgroups: comp.lang.functional Subject: Re: linear logic and FPs - any work? Message-ID: <GMC.92Aug11110748@black-05.cs.strath.ac.uk> Date: 11 Aug 92 10:07:48 GMT References: <2839@ucl-cs.uucp> Sender: news@cs.strath.ac.uk Organization: HardLab, Dept. of Computer Science, Strathclyde University Lines: 21 Nntp-Posting-Host: black-05 In-reply-to: S.Courtenage@cs.ucl.ac.uk's message of 10 Aug 92 20:18:46 GMT