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.