Searching for authors named "Hongwei Xi" – sorted by Relevance.
51 documents found, showing 1 through 10.
Next 10 →
-
Cv
- …Page 1 of 6 Hongwei Xi Department of Computer Science and Engineering Oregon Graduate Institute…
- Add To MetaCart
-
An Induction Measure on λ-Terms and Its Applications
- …An Induction Measure on -terms and Its Applications 1 Hongwei Xi Department of Mathematical…
- Add To MetaCart
-
Separating Developments in λ-Calculus
- …Separating Developments in -Calculus Hongwei Xi Department of Mathematical Sciences Carnegie…
- Add To MetaCart
-
Generalized λ-Calculi (Abstract)
- …Generalized -calculi (Abstract) Hongwei Xi Department of Mathematical Sciences, Carnegie Mellon…
- Add To MetaCart
-
Cv
- …Page 1 of 6 Hongwei Xi Department of Computer Science and Engineering Oregon Graduate Institute…
- Add To MetaCart
-
Facilitating Program Verification with Dependent Types
- …Facilitating Program Verification with Dependent Types Hongwei Xi Computer Science Department…
- Cited by 5 (1 self) – Add To MetaCart
-
Towards Automated Termination Proofs Through "Freezing"
- …Towards Automated Termination Proofs Through “Freezing” Hongwei Xi Department of Mathematical…
- Cited by 2 (0 self) – Add To MetaCart
-
Upper Bounds for Standardizations and an Application
- …Upper Bounds for Standardizations and an Application Hongwei Xi Department of Mathematical…
- Cited by 6 (0 self) – Add To MetaCart
-
Simulating eta-Expansions with beta-Reductions in the Second-Order Polymorphic -Calculus
- …Simulating j-Expansions with fi-Reductions in the Second-Order Polymorphic -Calculus Hongwei Xi…
- Cited by 1 (1 self) – Add To MetaCart
-
Unifying Object-Oriented Programming with Typed Functional Programming
- …Unifying Object-Oriented Programming with Typed Functional Programming Hongwei Xi # Boston…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
