For starters,

"On the use of LISP in implementing denotational semantics"

https://dl.acm.org/doi/10.1145/319838.319866

Type theory in CS isn't a synonymous with whatever Haskell happens to do.