Kwangkeun Yi Hyunjun Eo Static Extensionality Checking for Lambda-Definable Functions Over Lattices. 128-144 2002 conf/aplas/2002 APLAS db/conf/aplas/aplas2002.html#YiE02