linear logic and FPs - any work? - Article 53 - go-pugleaf

Article View: comp.lang.functional

Article #53

Back to comp.lang.functional Previous Next

linear logic and FPs - any work?

#53

From: Si Courtenage
Date: Mon, 10 Aug 1992 20:18

14 lines
779 bytes

Is there anyone out there working on implementations of functional languages
using ideas from linear logic? I know of Lafont's and Holmstrom's work and
also Wadler's and Wakling's; also Abramsky's work on computational
interpretations. Is anyone else working in this field? Any information
or pointers to literature would be greatly appreciated.

Thank you

Simon Courtenage		Email: scourten@uk.ac.ucl.cs
Dept of Computer Science
University College London
London WC1E
England

Technical Details

Message-ID: <2839@ucl-cs.uucp>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!warwick!nott-cs!ucl-cs!news

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!warwick!nott-cs!ucl-cs!news
From: S.Courtenage@cs.ucl.ac.uk (Si Courtenage)
Newsgroups: comp.lang.functional
Subject: linear logic and FPs - any work?
Message-ID: <2839@ucl-cs.uucp>
Date: 10 Aug 92 20:18:46 GMT
Sender: news@cs.ucl.ac.uk
Lines: 14