[Haskell] Google SoC: Software Transactional Memory for Parrot

[Bayley, Alistair]

> From: haskell-bounces at haskell.org 
> [mailto:haskell-bounces at haskell.org] On Behalf Of Ralf Lammel
> 
> Bulat wrote:
> 
> > it seems that Haskell continues to be a source of new 
> technologies for
> > other languages. i will wait for GADT for C# :)
> 
> No need to wait:
> http://doitest.acm.org/10.1145/1094811.1094814
> " We show that existing object-oriented programming languages such as
> Java and C# can express GADT definitions, and a large class of
> GADT-manipulating programs, through the use of generics, subclassing,
> and virtual dispatch. However, ..."
> 
> Ralf


At LtU you'll find a link to the paper that doesn't require an ACM
account, and (bonus!) a (brief) discussion:
  http://lambda-the-ultimate.org/node/1134

Alistair
*****************************************************************
Confidentiality Note: The information contained in this message,
and any attachments, may contain confidential and/or privileged
material. It is intended solely for the person(s) or entity to
which it is addressed. Any review, retransmission, dissemination,
or taking of any action in reliance upon this information by
persons or entities other than the intended recipient(s) is
prohibited. If you received this in error, please contact the
sender and delete the material from any computer.
*****************************************************************