Mark Tarver |
Title: Representing the Types of Polyadic Lisp
Functions |
Abstract: A
polyadic function is a function that takes a variable number of arguments;
that is, its arity is not fixed. The utility of polyadic functions is
demonstrated with respect to programming practice in Common Lisp, which makes
extensive use of polyadic functions. The challenge of integrating such
functions into a practical and uniform type discipline requires a logic for
representing the types of polyadic functions. The paper uses a sequent
approach based on parameterised types. |