Source : Free On-Line Dictionary of Computing

Similix
     
        An autoprojector (self-applicable partial evaluator) for a
        higher order subset of the strict functional language Scheme.
        Similix handles programs with user defined primitive abstract
        data type operators which may process global variables (such
        as input/output operators).
     
        Version 5.0.
     
        Anders Bondorf 
     
        conformance: extension of large subset of R4RS Scheme.
     
        requires: Scheme
     
        ports: Scm, Chez Scheme
     
        portability: high
     
        E-mail: Anders Bondorf 
     
        {(ftp://ftp.diku.dk/pub/diku/dists/Similix.tar.Z)}.
     
        (1993/05/18)