1. Lecture Notes in Artificial Intelligence;J. Carette,2008
2. Carette, J., Kiselyov, O.: Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Science of Computer Programming 76(5), 349–375 (2011)
3. Lecture Notes in Artificial Intelligence;W.M. Farmer,2007
4. Farmer, W.M.: Chiron: A multi-paradigm logic. In: Matuszewski, R., Zalewska, A. (eds.) From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric, vol. 10(23), pp. 1–19. University of Białystok (2007)
5. Farmer, W.M.: Chiron: A set theory with types, undefinedness, quotation, and evaluation. SQRL Report No. 38, McMaster University (2007) (revised 2011)