1. Conal Elliott. 2008. Elegant memoization with functional memo tries. (2008). http://conal.net/blog/posts/ elegant- memoization- with- functional- memo- tries Conal Elliott. 2008. Elegant memoization with functional memo tries. (2008). http://conal.net/blog/posts/ elegant- memoization- with- functional- memo- tries
2. Conal Elliott. 2018. The MemoTrie package. (2018). http://hackage.haskell.org/package/MemoTrie Conal Elliott. 2018. The MemoTrie package. (2018). http://hackage.haskell.org/package/MemoTrie
3. Method for constructing bijections for classical partition identities
4. Sieve-equivalence and explicit bijections
5. Bjarki Ágúst Guðmundsson. 2017. Formalizing the translation method in Agda. Master’s thesis. Reykjavik University Iceland. Bjarki Ágúst Guðmundsson. 2017. Formalizing the translation method in Agda. Master’s thesis. Reykjavik University Iceland.