Searching for authors named "Chiyan Chen" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Categories and Subject Descriptors D.3 [Software]: Program-ming Languages General Terms Languages Keywords Distributed Meta-Programming, Typeful Code Repre-sentation, Applied Type System, ATS
- …@(email omitted); Chiyan Chen Yahoo! Inc. chiyan@(email omitted); Hongwei Xi Boston University hwxi@(email omitted); Abstract…
- Add To MetaCart
-
A Language with Grammar Types
- … ÑÓ���Ý �Ò� ��Ö� ØÓ Ö�Ù×� ÁÒ Ø��× Ô�Ô�Ö Û� Û�ÐÐ×�ÓÛ�ÓÛ �Ö�ÑÑ�Ö ØÝÔ�× � Ò�Û Ð�Ò Chiyan Chen Oregon…
- Add To MetaCart
-
Meta-programming through typeful code representation
- … ∗ Chiyan Chen and Hongwei Xi Computer Science Department Boston University {chiyan, hwxi}@(email omitted); 1…
- Cited by 14 (4 self) – Add To MetaCart
-
A typed intermediate language for supporting multiple inheritance via interfaces
- … and Chiyan Chen 2⋆ 1 Microsoft Research, One Microsoft Way, Redmond WA 98052, juanchen@(email omitted); 2 Boston…
- Cited by 1 (0 self) – Add To MetaCart
-
Combining programming with theorem proving
- … Combining Programming with Theorem Proving * Chiyan Chen Hongwei Xi Boston University{ chiyan…
- Cited by 58 (6 self) – Add To MetaCart
-
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
- …A Typeful Approach to Object-Oriented Programming with Multiple Inheritance ⋆ Chiyan Chen, Rui Shi…
- Cited by 4 (3 self) – Add To MetaCart
-
Implementing Typeful Program Transformations
- … ∗† Chiyan Chen Computer Science Department Boston University Boston, MA 02215, USA chiyan@(email omitted); Rui Shi…
- Cited by 10 (1 self) – Add To MetaCart
-
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
- …Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell ⋆ Chiyan Chen…
- Cited by 11 (4 self) – Add To MetaCart
-
Guarded Recursive Datatype Constructors
- …ABSTRACT Guarded Recursive Datatype Constructors Hongwei Xi ∗ Chiyan Chen ∗ Gang Chen † We…
- Cited by 94 (9 self) – Add To MetaCart
Showing 1 through 9.
