Graphic Reduction Calculus in Implementation of Functional Programming

This paper describes graphic reduction calculus （SKI-G-calculus） in implementation of functional programming based on λ-calculus and SKI-calculus.SKI-G calculus oriented machine implementation is a version of SKI-calculus,a formal reduction system based on graphic,and is also a technical foundation of implementing high order,transparency reference,reduction semantics and fullylazy functional programming.