Showing 1 - 5 results of 5 for search 'Shao, Zhong', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
    Published 2003
    Other Authors: “…Shao, Zhong…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2009
    Other Authors: “…Shao, Zhong…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
    Published 2007
    Other Authors: “…Shao, Zhong…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published 2014
    Other Authors: “…Shao, Zhong…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
    Published 2011
    Other Authors: “…Shao, Zhong…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search