CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Code related to Types.

lang/scheme/code/ext/types/

   polytype/  PolyType: A toy type inferencer for Scheme.
   soft_scm/  Soft Scheme: Practical soft type system for 
              Scheme.
This directory contains code related to type-inferencing and other type-related facilities.
CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Scheme!Code, Scheme!Extensions, Type Checking
Last Web update on Mon Feb 13 10:36:15 1995
AI.Repository@cs.cmu.edu