RE: Dynamic semantics of ascription

From: Rui Shi (shearer@cs.bu.edu)
Date: Mon Oct 09 2006 - 18:01:02 EDT 

Return-Path: <shearer@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: EATSERVER: cs3.bu.edu 1166; 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=-2.6 required=10.0 tests=AWL,BAYES_00 autolearn=ham  version=3.1.0
X-Spam-Pyzor: 
Received: from shearershot (c-24-60-255-210.hsd1.ma.comcast.net [24.60.255.210]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k99M11ga027571; Mon, 9 Oct 2006 18:01:31 -0400
From: "Rui Shi" <shearer@cs.bu.edu>
To: <michel@cs.bu.edu>, "'cs520 Course Account'" <cs520@cs.bu.edu>
Subject: RE: Dynamic semantics of ascription
Date: Mon, 9 Oct 2006 18:01:02 -0400
Message-ID: <000b01c6ebee$7add8700$6400a8c0@csnt.bu.edu>
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 11
In-Reply-To: <2808.71.232.158.11.1160428565.squirrel@cs-squirrelmail.bu.edu>
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962
Thread-Index: Acbr6CFIu9889Fz0QdGJ+wvI0x5+rQABiTdw
X-Clamav-Status: No
Status: RO
Content-Length: 417
X-UID: 14
X-Keywords:

The ascription is evaluated as its term part.

TF

-----Original Message-----
From: michel@cs.bu.edu [mailto:michel@cs.bu.edu]
Sent: Monday, October 09, 2006 5:16 PM
To: cs520 Course Account
Subject: Dynamic semantics of ascription

Hi Rui,

  The handout doesn't include dynamic semantics to eval ascription. I
implemented the semantics described on page 122 in Pierce. It's okay, isn't
it?

[ ]'s
Michel Machado

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