Problem Set 7, Problem 3

From: samepst@cs.bu.edu
Date: Mon Nov 13 2006 - 21:00:54 EST 

Return-Path: <samepst@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: INFN-TO: cs3.bu.edu 1233; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-3.4 required=10.0 tests=ALL_TRUSTED,BAYES_00, NO_REAL_NAME autolearn=ham version=3.1.0
X-Spam-Pyzor: 
Received: from csa3.bu.edu (csa3 [128.197.12.5]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id kAE20sal031101 for <cs520@cs.bu.edu>; Mon, 13 Nov 2006 21:00:54 -0500
Received: (from apache@localhost) by csa3.bu.edu (8.13.6/8.12.11/Submit) id kAE20swN002431; Mon, 13 Nov 2006 21:00:54 -0500
X-Authentication-Warning: csa3.bu.edu: apache set sender to samepst@cs.bu.edu using -f
Received: from 71.192.166.44 (SquirrelMail authenticated user samepst) by cs-squirrelmail.bu.edu with HTTP; Mon, 13 Nov 2006 21:00:54 -0500 (EST)
Message-ID: <23866.71.192.166.44.1163469654.squirrel@cs-squirrelmail.bu.edu>
Date: Mon, 13 Nov 2006 21:00:54 -0500 (EST)
Subject: Problem Set 7, Problem 3
From: samepst@cs.bu.edu
To: cs520@cs.bu.edu
User-Agent: SquirrelMail/1.4.6-4.fc2.1.legacy
Content-Type: text/plain;charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Priority: 3 (Normal)
Importance: Normal
X-Clamav-Status: No
Status: RO
Content-Length: 262
X-UID: 50
X-Keywords: NonJunk

For problem set 7, problem 3, there is a reference to the language
described in Pierce in section 14.3. There is an open type Texn, which
Pierce left open to different implementations. Are we constrained for our
choice of type for Texn?

Thank You,
-Sam Epstein

This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST