TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…
Fecha:
2004-10-20
Recurso:
MIT
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®