2009年
Steyl, Gideon
null | 英文
2014年
Marlow, Simon David, Wadler, Phil
英文
2019年
Matthews, Brian Martin
英文
4 An Architecture for the Compilation of Persistent Polymorphic Reflective Higher-Order Languages [学位论文]
2019年
Lopes, Joao Antonio Correia
英文
5 A graph theory model for the computer solution of university time-tables and related problems [学位论文]
2019年
Williams, Michael Roy
英文
2019年
Harris, Timothy S
英文