NeubauerMatthias

Down with Emacs Lisp

SperberMichael, NeubauerMatthias, 2001 .

Discriminative sum types locate the source of type errors

ThiemannPeter, NeubauerMatthias, 2003 .

Functional logic overloading

GasbichlerMartin, SperberMichael, ThiemannPeter, 2002 .