The SCEAS System
| |||||||

## Search the dblp DataBase
Hongwei Xi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Dengping Zhu, Hongwei Xi
**A Typeful and Tagless Representation for XML Documents.**[Citation Graph (0, 0)][DBLP] APLAS, 2003, pp:89-104 [Conf] - Hongwei Xi, Songtao Xia
**Towards array bound check elimination in Java**[Citation Graph (0, 0)][DBLP]^{TM}virtual machine language. CASCON, 1999, pp:14- [Conf] - Walid Taha, Stephan Ellner, Hongwei Xi
**Generating Heap-Bounded Programs in a Functional Setting.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:340-355 [Conf] - Sa Cui, Kevin Donnelly, Hongwei Xi
**ATS: A Language That Combines Programming with Theorem Proving.**[Citation Graph (0, 0)][DBLP] FroCos, 2005, pp:310-320 [Conf] - Rui Shi, Chiyan Chen, Hongwei Xi
**Distributed meta-programming.**[Citation Graph (0, 0)][DBLP] GPCE, 2006, pp:243-248 [Conf] - Hongwei Xi, Robert Harper
**A Dependently Typed Assembly Language.**[Citation Graph (0, 0)][DBLP] ICFP, 2001, pp:169-180 [Conf] - Chiyan Chen, Hongwei Xi
**Meta-programming through typeful code representation.**[Citation Graph (0, 0)][DBLP] ICFP, 2003, pp:275-286 [Conf] - Chiyan Chen, Hongwei Xi
**Combining programming with theorem proving.**[Citation Graph (0, 0)][DBLP] ICFP, 2005, pp:66-77 [Conf] - Hongwei Xi
**Upper Bounds for Standardizations and an Application.**[Citation Graph (0, 0)][DBLP] Kurt Gödel Colloquium, 1997, pp:335-348 [Conf] - Hongwei Xi
**Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus.**[Citation Graph (0, 0)][DBLP] LFCS, 1997, pp:399-409 [Conf] - Hongwei Xi
**Imperative Programming with Dependent Types.**[Citation Graph (0, 0)][DBLP] LICS, 2000, pp:375-387 [Conf] - Hongwei Xi
**Dependent Types for Program Termination Verification.**[Citation Graph (0, 0)][DBLP] LICS, 2001, pp:- [Conf] - Hongwei Xi
**Dead Code Elimination through Dependent Types.**[Citation Graph (0, 0)][DBLP] PADL, 1999, pp:228-242 [Conf] - Chiyan Chen, Rui Shi, Hongwei Xi
**A Typeful Approach to Object-Oriented Programming with Multiple Inheritance.**[Citation Graph (0, 0)][DBLP] PADL, 2004, pp:23-38 [Conf] - Chiyan Chen, Dengping Zhu, Hongwei Xi
**Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.**[Citation Graph (0, 0)][DBLP] PADL, 2004, pp:239-254 [Conf] - Dengping Zhu, Hongwei Xi
**Safe Programming with Pointers Through Stateful Views.**[Citation Graph (0, 0)][DBLP] PADL, 2005, pp:83-97 [Conf] - Chiyan Chen, Hongwei Xi
**Implementing typeful program transformations.**[Citation Graph (0, 0)][DBLP] PEPM, 2003, pp:20-28 [Conf] - Hongwei Xi
**Unifying object-oriented programming with typed functional programming.**[Citation Graph (0, 0)][DBLP] ASIA-PEPM, 2002, pp:117-125 [Conf] - Hongwei Xi, Frank Pfenning
**Eliminating Array Bound Checking Through Dependent Types.**[Citation Graph (0, 0)][DBLP] PLDI, 1998, pp:249-257 [Conf] - Hongwei Xi
**Evaluation Under Lambda Abstraction.**[Citation Graph (0, 0)][DBLP] PLILP, 1997, pp:259-273 [Conf] - Hongwei Xi, Frank Pfenning
**Dependent Types in Practical Programming.**[Citation Graph (0, 0)][DBLP] POPL, 1999, pp:214-227 [Conf] - Hongwei Xi, Chiyan Chen, Gang Chen
**Guarded recursive datatype constructors.**[Citation Graph (0, 0)][DBLP] POPL, 2003, pp:224-235 [Conf] - Hongwei Xi
**Towards Automated Termination Proofs through "Freezing".**[Citation Graph (0, 0)][DBLP] RTA, 1998, pp:271-285 [Conf] - Hongwei Xi
**Facilitating Program Verification with Dependent Types.**[Citation Graph (0, 0)][DBLP] SEFM, 2003, pp:72-81 [Conf] - Hongwei Xi
**Weak and Strong Beta Normalisations in Typed Lambda-Calculi.**[Citation Graph (0, 0)][DBLP] TLCA, 1997, pp:390-404 [Conf] - Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
**TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory.**[Citation Graph (0, 0)][DBLP] HUG, 1993, pp:366-370 [Conf] - Hongwei Xi
**Applied Type System: Extended Abstract.**[Citation Graph (0, 0)][DBLP] TYPES, 2003, pp:394-408 [Conf] - Hongwei Xi
**Development Separation in Lambda-Calculus.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:143, n:, pp:207-221 [Journal] - Kevin Donnelly, Hongwei Xi
**A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:109-125 [Journal] - Chiyan Chen, Rui Shi, Hongwei Xi
**Implementing Typeful Program Transformations.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:69, n:1-2, pp:103-121 [Journal] - Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
**Perpetual Reductions in Lambda-Calculus.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 1999, v:149, n:2, pp:173-225 [Journal] - Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
**TPS: A Theorem-Proving System for Classical Type Theory.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:16, n:3, pp:321-353 [Journal] - Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
**ETPS: A System to Help Students Write Formal Proofs.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:32, n:1, pp:75-92 [Journal] - Hongwei Xi
**Dependent ML An approach to practical programming with dependent types.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 2007, v:17, n:2, pp:215-286 [Journal] - Chiyan Chen, Hongwei Xi
**Meta-programming through typeful code representation.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 2005, v:15, n:5, pp:797-835 [Journal] - Hongwei Xi
**Upper Bounds for Standardizations and An Application.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:1, pp:291-303 [Journal] - Hongwei Xi
**Dependent Types for Program Termination Verification.**[Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2002, v:15, n:1, pp:91-131 [Journal] - Aaron Stump, Hongwei Xi
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:1-2 [Journal] **Combining higher-order abstract syntax with first-order abstract syntax in ATS.**[Citation Graph (, )][DBLP]**A Modality for Safe Resource Sharing and Code Reentrancy.**[Citation Graph (, )][DBLP]**Attributive Types for Proof Erasure.**[Citation Graph (, )][DBLP]**Operating system development with ATS: work in progress.**[Citation Graph (, )][DBLP]**A Simple and General Theoretical Account for Abstract Types.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |