| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 25 |       | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reasoning 31(3-4): 191-229 (2003) |
| 24 | | Stefan Monnier, Zhong Shao: Inlining as staged computation. J. Funct. Program. 13(3): 647-676 (2003) |
| 22 | | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100 |
| 19 | | Stefan Monnier, Bratin Saha, Zhong Shao: Principled Scavenging. PLDI 2001: 81-91 |
| 11 | | Zhong Shao, Christopher League, Stefan Monnier: Implementing Typed Intermediate Languages. ICFP 1998: 313-323 |
Selection of 5 from 60 records - Zhong Shao has 38 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page