1. Prentice Hall International Series in Computer Science;RS Bird,1997
2. Carette, J., Kiselyov, O., Shan, C.-C.: Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5), 509–543 (2009)
3. Lecture Notes in Computer Science;AI-T Chen,2008
4. Crockett, E., Peikert, C.: $$\varLambda {o}\lambda $$Λoλ: functional lattice cryptography. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24–28, pp. 993–1005. ACM (2016)
5. Danielsson, N.A.: Ring Solver, the Agda standard library.
https://github.com/agda/agda-stdlib/blob/master/src/Algebra/RingSolver.agda