Report - Strong Static Type Checking for Functional Common Lisp · 2000. 4. 2. · typing normally ascribed is simply that the structure is a CONS, i.e., it is an ordered pair with a CAR (head)

Please pass captcha verification before submit form