The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hongwei Xi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dengping Zhu, Hongwei Xi
    A Typeful and Tagless Representation for XML Documents. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:89-104 [Conf]
  2. Hongwei Xi, Songtao Xia
    Towards array bound check elimination in Java TM virtual machine language. [Citation Graph (0, 0)][DBLP]
    CASCON, 1999, pp:14- [Conf]
  3. 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]
  4. 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]
  5. Rui Shi, Chiyan Chen, Hongwei Xi
    Distributed meta-programming. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:243-248 [Conf]
  6. Hongwei Xi, Robert Harper
    A Dependently Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:169-180 [Conf]
  7. Chiyan Chen, Hongwei Xi
    Meta-programming through typeful code representation. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:275-286 [Conf]
  8. Chiyan Chen, Hongwei Xi
    Combining programming with theorem proving. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:66-77 [Conf]
  9. Hongwei Xi
    Upper Bounds for Standardizations and an Application. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:335-348 [Conf]
  10. 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]
  11. Hongwei Xi
    Imperative Programming with Dependent Types. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:375-387 [Conf]
  12. Hongwei Xi
    Dependent Types for Program Termination Verification. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:- [Conf]
  13. Hongwei Xi
    Dead Code Elimination through Dependent Types. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:228-242 [Conf]
  14. 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]
  15. 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]
  16. Dengping Zhu, Hongwei Xi
    Safe Programming with Pointers Through Stateful Views. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:83-97 [Conf]
  17. Chiyan Chen, Hongwei Xi
    Implementing typeful program transformations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:20-28 [Conf]
  18. Hongwei Xi
    Unifying object-oriented programming with typed functional programming. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:117-125 [Conf]
  19. Hongwei Xi, Frank Pfenning
    Eliminating Array Bound Checking Through Dependent Types. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:249-257 [Conf]
  20. Hongwei Xi
    Evaluation Under Lambda Abstraction. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:259-273 [Conf]
  21. Hongwei Xi, Frank Pfenning
    Dependent Types in Practical Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:214-227 [Conf]
  22. Hongwei Xi, Chiyan Chen, Gang Chen
    Guarded recursive datatype constructors. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:224-235 [Conf]
  23. Hongwei Xi
    Towards Automated Termination Proofs through "Freezing". [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:271-285 [Conf]
  24. Hongwei Xi
    Facilitating Program Verification with Dependent Types. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:72-81 [Conf]
  25. Hongwei Xi
    Weak and Strong Beta Normalisations in Typed Lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:390-404 [Conf]
  26. 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]
  27. Hongwei Xi
    Applied Type System: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:394-408 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Aaron Stump, Hongwei Xi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:1-2 [Journal]

  39. Combining higher-order abstract syntax with first-order abstract syntax in ATS. [Citation Graph (, )][DBLP]


  40. A Modality for Safe Resource Sharing and Code Reentrancy. [Citation Graph (, )][DBLP]


  41. Attributive Types for Proof Erasure. [Citation Graph (, )][DBLP]


  42. Operating system development with ATS: work in progress. [Citation Graph (, )][DBLP]


  43. A Simple and General Theoretical Account for Abstract Types. [Citation Graph (, )][DBLP]


Search in 0.077secs, Finished in 0.079secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002