Re: Haskell and the NGWS Runtime

2000-07-28 Thread Erik Meijer
> Does anyone know where there is some information on Haskell integration with > the Microsoft NGWS runtime, which provides > cross language integration and a common system for memory managment, library > functions etc. > > I am curious to see if the haskell integration is a good fit or a graunch

Re: Classes

2000-07-28 Thread Marcin 'Qrczak' Kowalczyk
Thu, 27 Jul 2000 23:59:47 +0100, Claus Reinke <[EMAIL PROTECTED]> pisze: > Whenever a type is qualified by a class context, this establishes > a proof obligation for the class mechanism, and while this mechanism > tries to complete the proof, it also collects and composes the > functional progra

Haskell and the NGWS Runtime

2000-07-28 Thread Doug Ransom
Does anyone know where there is some information on Haskell integration with the Microsoft NGWS runtime, which provides cross language integration and a common system for memory managment, library functions etc. I am curious to see if the haskell integration is a good fit or a graunch (square pe

Haskell and the NGWS Runtime

2000-07-28 Thread Doug Ransom
Does anyone know where there is some information on Haskell integration with the Microsoft NGWS runtime, which provides cross language integration and a common system for memory managment, library functions etc. I am curious to see if the haskell integration is a good fit or a graunch (square pe

RE: Professional statistics for your homepage

2000-07-28 Thread postbox
Hi [EMAIL PROTECTED] Check http://www.counter4all.com/omcounter.asp

Re: basAlgPropos state, Cayenne

2000-07-28 Thread Jan Skibinski
On Fri, 28 Jul 2000, S.D.Mechveliani wrote: > And there arises a question. > To make the implementation accessible, the paper file has to be > included there as the necessary part of documentation. Maybe, not > literally the paper, but something that 90% coincides with it. > On the other hand

basAlgPropos state, Cayenne

2000-07-28 Thread S.D.Mechveliani
Dear Haskellers, This a report on the recent state of the Basic algebra proposal (basAlgPropos). And I need certain political advice about it. There is also a section about Cayenne. basAlgPropos was revised. The sample argument (SA) approach remains. It was written a paper about this (12 page