Re: Unique types etc.

Article View: comp.lang.functional

Article #654

Back to comp.lang.functional Previous Next

#654

From: "D. Hugh Redelmeier"
Date: Tue, 06 Oct 1992 04:57

17 lines
1151 bytes

leonp@cs.kun.nl (Leon Pillich) writes:
| A while ago I posted a reaction on a discussion about
| things that are difficult to do with functional programming
| languages. I briefly mentioned Unique types.
| I got some reactions on my post so I decided to write
| a short follow up, to tell something about unique types
| and to give some references where one can find more information.

Interesting.  These seem to be related to "dialogues" which I
discussed in a chapter of my PhD Dissertation:
D. Hugh Redelmeier, "Towards Practical Functional Programming",
Department of Computer Science, University of Toronto, 1984.

Hugh Redelmeier
hugh@mimosa.com or {utcsri, yunexus, utzoo, scocan}!redvax!hugh
When all else fails: hugh@csri.toronto.edu
+1 416 482-8253

Technical Details

Message-ID: <92Oct6.005652edt.48060@neat.cs.toronto.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!utcsri!neat.cs.toronto.edu!hugh

References: <BvG3I3.B2M@sci.kun.nl>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!utcsri!neat.cs.toronto.edu!hugh
Newsgroups: comp.lang.functional
From: hugh@cs.toronto.edu ("D. Hugh Redelmeier")
Subject: Re: Unique types etc.
Message-ID: <92Oct6.005652edt.48060@neat.cs.toronto.edu>
Organization: Department of Computer Science, University of Toronto
References: <BvG3I3.B2M@sci.kun.nl>
Date: 6 Oct 92 04:57:00 GMT
Lines: 17

Reply to Parent Message