Liao, H. "Removing partial parametrization for efficient implementation of functional languages."

(1992) Computer Languages 17(4)  

Languages mentioned LK {1992}