IPSJ SIGNotes Programming Language No.027 - 006

IPSJ SIGNotes  

Han, Shen; Jiro, Tanaka (1990) Han, Shen; Jiro, Tanaka "An Operational Semantics for Full GHC Based on Extended Unification Algorithm"