Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 21 Apr 1993 16:23:45 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA19942; Wed, 21 Apr 93 08:08:30 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from research.att.com by ted.cs.uidaho.edu (16.6/1.34) id AA19937; Wed, 21 Apr 93 08:08:23 -0700 Received: by inet; Wed Apr 21 10:57 EDT 1993 Received: by hunny.research.att.com (/\==/\ Smail3.1.25.1 #25.11) id ; Wed, 21 Apr 93 10:56 EDT Message-Id: Date: Wed, 21 Apr 93 10:56 EDT From: elsa@research.att.com (Elsa Gunter) To: info-hol@ted.cs.uidaho.edu Subject: SML in HOL Myra VanInwegen, a student of the University of Pensylvania, encoded the core dynamic semantics of Standard ML in HOL90 last summer while working at Bell Labs under my supervision. Lately she has been working on the full core grammar and type checking. She is planning to submit a report on her work to HUG93. Her email address is myra@saul.cis.upenn.edu This next summer Savitri Maharaj from Ediburgh University will be working under my supervision to extend this work to the module system. ---Elsa L. Gunter elsa@research.att.com