1. Building a 'Lofty, Beloved People's Amusement Centre': The socialist transformation of Shanghai's Great World (Dashijie) (1950–58). (13th May 2021) Authors: XIAO, WENMING; LI, YAO Journal: Modern Asian studies Issue: Volume 55:Part 3(2021) Page Start: 973 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. (26th February 2021) Authors: BREITNER, JOACHIM; SPECTOR-ZABUSKY, ANTAL; LI, YAO; RIZKALLAH, CHRISTINE; WIEGLEY, JOHN; COHEN, JOSHUA; WEIRICH, STEPHANIE Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗