Jim E. Newton, Akim Demaille, Didier Verna. Type-Checking of Heterogeneous Sequences in Common Lisp. In Irène Durand, editor, Proceedings of the 9th European Lisp Symposium (ELS 2016), Kraków, Poland, May 9-10, 2016. pages 13-20, ELSAA, 2016. [doi]
Abstract is missing.