Strong static type checking for functional common lisp

• Authors:

• Robert Lawrence Akers

• Affiliations:

• The Univ. of Texas at Austin

• Venue:
• Strong static type checking for functional common lisp
• Year:
• 1995