CMU Artificial Intelligence Repository
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