Topic of interest for cs520

From: Gabriel Parmer (gabep1@cs.bu.edu)
Date: Fri Nov 19 2004 - 13:59:33 EST 

Return-Path: <gabep1@cs.bu.edu>
Received: from csa2.bu.edu (csa2 [128.197.12.4]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id iAJIxX2K019842 for <cs520@cs.bu.edu>; Fri, 19 Nov 2004 13:59:33 -0500
Received: from localhost (gabep1@localhost) by csa2.bu.edu (8.12.11/8.12.11/Submit) with ESMTP id iAJIxXsv017517 for <cs520@csa2.bu.edu>; Fri, 19 Nov 2004 13:59:33 -0500
Date: Fri, 19 Nov 2004 13:59:33 -0500 (EST)
From: Gabriel Parmer <gabep1@cs.bu.edu>
To: cs520 Course Account <cs520@cs.bu.edu>
Subject: Topic of interest for cs520
Message-ID: <Pine.LNX.4.58.0411191236370.15769@csa2.bu.edu>
Content-Type: TEXT/PLAIN; charset=US-ASCII
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: 8003
X-Mozilla-Status2: 00000000
X-UIDL: 4192ca74000003d7

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

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