Static Extensionality Checking for Lambda-Definable Functions Over Lattices.

Kwangkeun Yi, Hyunjun Eo

Browse the full APLAS paper archive.