![]() ![]() Special thanks to: Ningning Xie for her work on the theory and practice of evidence passing and the formalization of Perceus reference counting ,Īlex Reinking for the implementation of the Perceus reference counting analysis ,Īnd all previous interns working on earlier versions of Koka: Daniel Hillerström, Jonathan Brachthäuser, Niki Vazou, Ross Tate, Edsko de Vries, and Dana Xu.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |