Open menu
META-92 (1992 Uppsala, Sweden)
Meta-programmming in logic