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

(1990) IPSJ SIGNotes Programming Language No.027 - 006  

Languages mentioned GHC {1985}