1. Baldur Blöndal, Andres Löh, and Ryan Scott. 2018. Deriving Via: or, How to Turn Hand-Written Instances into an Anti-Pattern. SIGPLAN Not. 53, 7 (Sept. 2018), 55–67.
2. Joachim Breitner. 2018. A Promise Checked is a Promise Kept: Inspection Testing. In Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell (Haskell 2018). ACM, New York, NY, USA, 14–25.
3. Olaf Chitil. 2012. Practical Typed Lazy Contracts. In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP ’12). ACM, New York, NY, USA, 67–76.
4. David Christiansen and Edwin Brady. 2016. Elaborator Reflection: Extending Idris in Idris. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). ACM, New York, NY, USA, 284–297.
5. Eelco Dolstra. 2006. The purely functional software deployment model. Utrecht University.