"Smart-contract" itself is a very misleading term: in SCL (smart-contract language) research, it means any kind of automation of legal contracts and agreements between multiple parties, so, most papers that I've found concentrate only on this aspect.
I had Cardano in mind with Haskell
One of the seminal work in this area is, in fact, a Haskell parser combinator library (a DSL, basically) from Peyton-Jones, who IIRC worked on GHCi compiler and later established a fintech company that used this DSL. Most of home-brewed / academic SCL implementations are inspired by this work, like e.g. Findel or Simplicity. Findel's author also maintains a curated list of SCL resources, which you should check out.