Return-Path: <michel@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=-3.3 required=10.0 tests=ALL_TRUSTED,AWL,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 k99LG583017301 for <cs520@cs.bu.edu>; Mon, 9 Oct 2006 17:16:05 -0400 Received: (from apache@localhost) by csa3.bu.edu (8.13.6/8.12.11/Submit) id k99LG5ur011616; Mon, 9 Oct 2006 17:16:05 -0400 X-Authentication-Warning: csa3.bu.edu: apache set sender to michel@cs.bu.edu using -f Received: from 71.232.158.11 (SquirrelMail authenticated user michel) by cs-squirrelmail.bu.edu with HTTP; Mon, 9 Oct 2006 17:16:05 -0400 (EDT) Message-ID: <2808.71.232.158.11.1160428565.squirrel@cs-squirrelmail.bu.edu> Date: Mon, 9 Oct 2006 17:16:05 -0400 (EDT) Subject: Dynamic semantics of ascription From: michel@cs.bu.edu To: "cs520 Course Account" <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: 181 X-UID: 13 X-Keywords: NonJunk
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