1. Introduction In this age of Internet, the need for mobile computing is evergrowing. Among a variety of issues, locality and heterogeneity are of great importance in mobile computing since...
Implementing Typeful Program Transformations (2008)
Chiyan Chen, Rui Shi, Hongwei Xi
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformation, we need to...
General Terms Languages, Theory (2008)
**Partially supported by NSF grants no. CCR-0224244 and no. CCR-0229480
General Terms Languages, Theory (2008)
Although we have since found a variety of applications of guarded recursive (g.r.) datatype constructors, we initially encountered this notion in a study on run-time typepassing. In parametric...
A typed intermediate language for supporting multiple inheritance via interfaces (2008)
Abstract. Some object-oriented languages, such as Java and C#, provide interfaces as a feature for supporting a restricted form of multiple inheritance. Most typed intermediate languages for...
ABSTRACT Implementing Typeful Program Transformations ∗ (2008)
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformation, we need to...
Combining programming with theorem proving (2005)
1. Introduction The notion of type equality plays a pivotal r^ole in type systemdesign. However, the importance of this role is often less evident in commonly studied type systems. For instance, in...
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (2004)
Chiyan Chen, Dengping Zhu, Hongwei Xi
Gentzen's Hauptsatz -- cut elimination theorem -- in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuitionistic logic. In...
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance (2004)
Chiyan Chen, Rui Shi, Hongwei Xi
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a challenging...
Distributed Meta-Programming ∗ (2004)
Chiyan Chen, Rui Shi, Hongwei Xi
The need for mobile computing is evident and growing rapidly in this age of Internet. However, it is in general difficult to construct programs in support of mobile computing due to issues such as...
Meta-programming through typeful code representation (2003)
By allowing the programmer to write code that can generate code at run-time, meta-programming offers a powerful approach to program construction. For instance, meta-programming can often be employed...
Meta-programming through typeful code representation (2003)
By allowing the programmer to write code that can generate code at run-time, metaprogramming offers a powerful approach to program construction. For instance, metaprogramming can often be employed to...
Implementing Typeful Program Transformations (2003)
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformation, we need to...
Meta-Programming through Typeful Code Representation (2003)
By allowing the programmer to write code that can generate code at run-time, meta-programming offers a powerful approach to program construction. For instance, meta-programming can often be employed...
Guarded Recursive Datatype Constructors (2003)
Hongwei Xi, Chiyan Chen, Gang Chen
introduc e a notion of guarded rec ursive (g.r.) datatype c#w struc tors, generalizing the notion ofrec# rsive datatypes in func tional programming languages suc h as ML and Haskell. We address both...
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (2003)
Chiyan Chen Dengping, Chiyan Chen, Dengping Zhu, Hongwei Xi
Gentzen's Hauptsatz -- cut elimination theorem -- in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuitionistic logic. In...
Meta-programming through typeful code representation (2003)
By allowing the programmer to write code that can generate code at run-time, meta-programming offers a powerful approach to program construction. For instance, meta-programming can often be employed...
Guarded Recursive Datatype Constructors (2003)
Hongwei Xi, Chiyan Chen, Gang Chen
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell.