CMU Artificial Intelligence Repository
Type Simplifier: A simple type simplifier
lang/lisp/code/ext/types/
A simple type simplifier originally developed to work around a
coerce bug in Allegro CL. [(coerce 0 '(AND T FLOAT) raises an error]
Origin:
E-mail to Mark Kantrowitz.
Version: 19-NOV-93 22:07:56
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Fernando D. Mato Mira
Computer Graphics Lab
Swiss Federal Institute of Technology (EPFL)
CH-1015 Lausanne, Switzerland
Tel: +41 (21) 693-5248
Fax: +41 (21) 693-5328
Keywords:
Authors!Mato Mira, Lisp!Extensions, Type Simplification
References: ?
Last Web update on Mon Feb 13 10:29:41 1995
AI.Repository@cs.cmu.edu