Re: Topic of interest for cs520

• Previous message: Gabriel Parmer: "Topic of interest for cs520"
• In reply to: Gabriel Parmer: "Topic of interest for cs520"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Return-Path: <kfoury@cs.bu.edu>
Received: from cs.bu.edu (cs [128.197.12.2]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id iAJLbucG032073; Fri, 19 Nov 2004 16:37:56 -0500
Received: from cs.bu.edu (kfoury@fiddle [128.197.10.114]) (authenticated bits=0) by cs.bu.edu (8.12.2/8.12.2) with ESMTP id iAJLbu0g028316; Fri, 19 Nov 2004 16:37:56 -0500 (EST)
Sender: kfoury@cs.bu.edu
Message-ID: <419E67B1.5B06DA2E@cs.bu.edu>
Date: Fri, 19 Nov 2004 16:37:53 -0500
From: "Assaf J. Kfoury" <kfoury@cs.bu.edu>
Organization: Boston University
X-Mailer: Mozilla 4.78 [en] (X11; U; SunOS 5.8 sun4u)
X-Accept-Language: en
To: Gabriel Parmer <gabep1@cs.bu.edu>
CC: cs520@cs.bu.edu
Subject: Re: Topic of interest for cs520
References: <Pine.LNX.4.58.0411191236370.15769@csa2.bu.edu>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam-HitLevel: 
X-Spam-DCC: CollegeOfNewCaledonia: cs3.bu.edu 1189; Body=2 Fuz1=2 Fuz2=2
X-Spam-Checker-Version: SpamAssassin 3.0.1 (2004-10-22) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-4.6 required=10.0 tests=ALL_TRUSTED,AWL,BAYES_00  autolearn=ham version=3.0.1
X-Spam-Pyzor: Reported 0 times.
Status:   
X-Mozilla-Status: 8011
X-Mozilla-Status2: 00000000
X-UIDL: 4192ca74000003ec

Gabe:

Thanks for the feedback. It would be good to
hear from others in the class.

One thing you need to amplify a little in your
message: what you mean by "systems with
strong side-effects".

Assaf

Gabriel Parmer wrote:

> It was requested today in class that we give input as to what information
> relating to PL we would like to see presented for the rest of the
> semester. I am personally most interested in learning about constructing
> type systems which can be used to describe complex systems not necessarily
> (traditionally) related to Programming Languages. The presentation
> earlier in the semester by Likai about a type system for internet streams
> is one example. I am interested more specifically in how much power such
> a type system could provide when applied to systems with strong
> side-effects, but would be interested in learning about anything in the
> area.
>
> Cheers,
> Gabe

• Previous message: Gabriel Parmer: "Topic of interest for cs520"
• In reply to: Gabriel Parmer: "Topic of interest for cs520"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST