Re: Types as first-class values?

Article View: comp.lang.misc

Article #244

#244

From: Brian Victor
Date: Thu, 16 Apr 1992 05:16

17 lines
1273 bytes

In article <7597@cui.unige.ch> oscar@cui.unige.ch (Oscar Nierstrasz) writes:
> Can anyone provide any references to programming languages that
> treat types as first-class values?

My memory is quite fuzzy here, but there is an interesting paper entitled "Data
Types are Values", by Donahue (?) et. al., published around five years ago in
ACM TOPLAS.  They talk about a programming language, Russell, that illustrates
their ideas.  I believe a free, real working Russell implementation is
available somewhere.  I can get the full reference, if you like.

bv

--
Brian Victor                 Tivoli Systems                 victor@tivoli.com
                   ...!cs.utexas.edu!tivoli!victor

Technical Details

Message-ID: <VICTOR.92Apr16141631@gran-paradiso.tivoli.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!ut-emx!tivoli!victor

References: <7597@cui.unige.ch>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!ut-emx!tivoli!victor
From: victor@gran-paradiso.tivoli.com (Brian Victor)
Newsgroups: comp.lang.misc,comp.lang.functional,comp.object
Subject: Re: Types as first-class values?
Keywords: russell acm toplas
Message-ID: <VICTOR.92Apr16141631@gran-paradiso.tivoli.com>
Date: 16 Apr 92 05:16:31 GMT
References: <7597@cui.unige.ch>
Sender: news@tivoli.UUCP
Reply-To: victor@tivoli.com
Followup-To: comp.lang.misc
Organization: Tivoli Systems
Lines: 17
In-reply-to: oscar@cui.unige.ch's message of 13 Apr 92 16:50:54 GMT

Reply to Parent Message