linear logic and FPs - any work? - Thread - go-pugleaf

Thread View: comp.lang.functional

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Si Courtenage Mon, 10 Aug 1992 20:18

linear logic and FPs - any work?

#53

Author: 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

Re: linear logic and FPs - any work?

#54

Author: George McCaskill
Date: Tue, 11 Aug 1992 10:07

21 lines
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
-----------------------------------------------------------------------------

Re: linear logic and FPs - any work?

#55

Author: Mitchell Wand
Date: Tue, 11 Aug 1992 14:42

15 lines
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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads