Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!torn!news.bc.net!newsserver.sfu.ca!fornax!jamie
From: jamie@cs.sfu.ca (Jamie Andrews)
Subject: Re: A research problem for y'all (or: yet another monad article)
Message-ID: <1995Jan30.200211.3557@cs.sfu.ca>
Organization: Faculty of Applied Science, Simon Fraser University
References: <3g92ar$sbb@hitchcock.dfki.uni-sb.de>
Date: Mon, 30 Jan 1995 20:02:11 GMT
Lines: 18

In article <3g92ar$sbb@hitchcock.dfki.uni-sb.de>,
Peter Van Roy <vanroy@dfki.uni-sb.de> wrote:
>Problem 0: What is the exact relationship between DCG's and monads?

     Well, there's an exact relationship between DCGs and a
subset of Intuitionistic Linear Logic... I assume there's a
relationship between ILL and monads since people at Edinburgh CS
were interested in both.   :-)

     For more information see "Characterizing Logic Grammars:
A Substructural Logic Approach", available on the WWW in
"http://fas.sfu.ca/cs/people/ResearchStaff/jamie/personal/papers".
This is a recent version of a paper (co-authored with Veronica
Dahl and Fred Popowich) in the works for journal publication.

--Jamie.
  jamie@cs.sfu.ca
"Could you do the egg bacon spam and sausage without the spam then?"
