Path: utzoo!mnetor!uunet!husc6!mailrus!tut.cis.ohio-state.edu!uwmcsd1!ig!agate!ucbvax!hplabs!otter!ange
From: ange@otter.hple.hp.com (Andy Norman)
Newsgroups: comp.lang.scheme
Subject: Re: Info needed on scheme research
Message-ID: <1510011@otter.hple.hp.com>
Date: 23 Mar 88 06:45:44 GMT
References: <1510005@otter.HP.COM>
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 51

ange@otter.HP.COM (Andy Norman) writes:
>If anyone knows what work is being / has been done with _Scheme_ in the
>following areas, could they please _MAIL_ me, and I will summarise to the
>net.

>Modules.
>Formal definitions of both data types and language semantics.
>Type checking.
>Frames, OOPS, Active Values and Daemons.


Here is a summary of the recent replies that I have received:

--------------------------------------------------------------------------------
From: hal@MURREN.AI.MIT.EDU (Hal Abelson)

Here are some pointers to Scheme research:

Pierre Bonzon, University of Lausanne -- pbonzon@clsun51.bitnet
  combining scheme and logic programming

Alan Bawden, MIT -- alan@ai.ai.mit.edu
  self-refeence a la Brian Smith

Alan Bawden, Jonathan Rees, MIT jar@ai.ai.mit.edu
   a coherent framework for macros

Kent Dybvig, Robert Hieb, Indiana University
  semantic of parallelism based on engines

Matthias Felleisen, Rice University
  semantics for Scheme based on lambda calculus

Felleisen, Mitch Wand (Northeastern), Dan Friedman and Bruce Duba (Indiana)
   semantics of continuations

Norman Adams (Tektronix) and Jonathan Rees (MIT
   object-oriented programming

Bill Rozas and Chris Hansen (MIT)
  using environments to implement modules

Dave Gifford (MIT)
  type checking

-------------------------------------------------------------------------------

					-- ange --

					ange%anorman@hplabs.hp.com
					ange@hplb.csnet