CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Code related to Types.


   polytype/  PolyType: A toy type inferencer for Scheme.
   soft_scm/  Soft Scheme: Practical soft type system for 
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