<language> A Scheme implementation with packages and other enhancements, by Alain Deutsch et al, France.
Nearby terms: Sketchpad « S/Key « Skill « Skim » SkipJack » SKOL » skolemisation
