1. Categories of Containers
2. Andrew W. Appel , Robert Dockins , Aquinas Hobor , Lennart Beringer , Josiah Dodds , Gordon Stewart , Sandrine Blazy , and Xavier Leroy . 2014. Program Logics for Certified Compilers . Cambridge University Press . isbn:978-1-10-704801-0 Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, and Xavier Leroy. 2014. Program Logics for Certified Compilers. Cambridge University Press. isbn:978-1-10-704801-0
3. Mechanized Metatheory for the Masses: The PoplMark Challenge
4. Jorge Luis Borges . 1940. Tlön, Uqbar , Orbis Tertius . In Labyrinths: Selected Stories & Other Writings, Donald A . Yates and James E. Irby (Eds.). The story was translated by James E. Irby. It first appeared in New World Writing No. 18, 1961 . The book was first published in 1962 Jorge Luis Borges. 1940. Tlön, Uqbar, Orbis Tertius. In Labyrinths: Selected Stories & Other Writings, Donald A. Yates and James E. Irby (Eds.). The story was translated by James E. Irby. It first appeared in New World Writing No. 18, 1961. The book was first published in 1962