BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Estonia
1 × France
1 × Italy
1 × Sweden
1 × United Kingdom
2 × Japan
9 × USA
Collaborated with:
∅ C.Chen F.Pfenning D.Zhu R.Shi R.Harper G.Chen
Talks about:
type (13) program (12) depend (8) elimin (3) implement (2) termin (2) orient (2) object (2) verif (2) meta (2)

Person: Hongwei Xi

DBLP DBLP: Xi:Hongwei

Contributed to:

GPCE 20062006
ICFP 20052005
PADL 20052005
PADL 20042004
ICFP 20032003
PEPM 20032003
POPL 20032003
SEFM 20032003
ASIA-PEPM 20022002
ICFP 20012001
LICS 20012001
LICS 20002000
PADL 19991999
POPL 19991999
PLDI 19981998
RTA 19981998
PLILP 19971997
TLCA 19971997

Wrote 19 papers:

GPCE-2006-ShiCX #distributed #metaprogramming
Distributed meta-programming (RS, CC, HX), pp. 243–248.
ICFP-2005-ChenX #programming #proving #theorem proving
Combining programming with theorem proving (CC, HX), pp. 66–77.
PADL-2005-ZhuX #pointer #programming
Safe Programming with Pointers Through Stateful Views (DZ, HX), pp. 83–97.
PADL-2004-ChenSX #approach #inheritance #multi #object-oriented #programming
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance (CC, RS, HX), pp. 23–38.
PADL-2004-ChenZX #case study #dependent type #haskell #implementation #simulation
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (CC, DZ, HX), pp. 239–254.
ICFP-2003-ChenX #metaprogramming #representation
Meta-programming through typeful code representation (CC, HX), pp. 275–286.
PEPM-2003-ChenX #implementation #program transformation
Implementing typeful program transformations (CC, HX), pp. 20–28.
POPL-2003-XiCC #data type #recursion
Guarded recursive datatype constructors (HX, CC, GC), pp. 224–235.
SEFM-2003-Xi #dependent type #verification
Facilitating Program Verification with Dependent Types (HX), pp. 72–81.
ASIA-PEPM-2002-Xi #functional #object-oriented #programming
Unifying object-oriented programming with typed functional programming (HX), pp. 117–125.
ICFP-2001-XiH #assembly
A Dependently Typed Assembly Language (HX, RH), pp. 169–180.
LICS-2001-Xi #dependent type #termination #verification
Dependent Types for Program Termination Verification (HX), pp. 231–242.
LICS-2000-Xi #dependent type #imperative #programming
Imperative Programming with Dependent Types (HX), pp. 375–387.
PADL-1999-Xi #dependent type
Dead Code Elimination through Dependent Types (HX), pp. 228–242.
POPL-1999-XiP #dependent type #programming
Dependent Types in Practical Programming (HX, FP), pp. 214–227.
PLDI-1998-XiP #array #bound #dependent type
Eliminating Array Bound Checking Through Dependent Types (HX, FP), pp. 249–257.
RTA-1998-Xi #automation #proving #termination #towards
Towards Automated Termination Proofs through “Freezing” (HX), pp. 271–285.
PLILP-1997-Xi #abstraction #evaluation
Evaluation Under λ Abstraction (HX), pp. 259–273.
TLCA-1997-Xi #normalisation #λ-calculus
Weak and Strong β Normalisations in Typed λ-Calculi (HX), pp. 390–404.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.