| 2003 | Term Graph Rewriting for the pi-Calculus. | Fabio Gadducci |
| 2003 | Extensional Polymorphism by Flow Graph Dispatching. | Jun Furuse |
| 2003 | Observing Asymmetry and Mismatch. | Xiaoju Dong, Yuxi Fu |
| 2003 | The Semantic Layers of Timber. | Magnus Carlsson, Johan Nordlander, Dick Kieburtz |
| 2003 | Affine-Based Size-Change Termination. | Hugh Anderson, Siau-Cheng Khoo |
| 2003 | A Differential Fixpoint Evaluation Framework for Non-distributive Systems. | Joonseon Ahn, Yong Jin Kwon |
| 2002 | Yicho - A System for Programming Program Calculations. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2002 | Static Extensionality Checking for Lambda-Definable Functions Over Lattices. | Kwangkeun Yi, Hyunjun Eo |
| 2002 | A Type-Based Approach to Parallelization (preliminary report). | Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu |
| 2002 | Programming with Logical Links. | Kazunori Ueda |
| 2002 | Association Computation for Information Access. | Akihiko Takano, Shingo Nishioka, Osamu Imaichi, Yoshiki Niwa |
| 2002 | An Overview of the Chameleon System. | Martin Sulzmann |
| 2002 | COPLA* - a Middleware for Distributed Databases. | Javier Esparza Peidro, Antonio Calero Monteagudo, Jordi Bataller, Francesc D. Muoz-Esco, Hendrik Decker, Jos M. Bernabu-Aubn |
| 2002 | An Interoperable Calculus for External Object Access. | Atsushi Ohori, Kiyoshi Yamatodani |
| 2002 | Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi |
| 2002 | Deforesting in Accumulating Parameters via Type-Directed Transformations. | Susumu Nishimura |
| 2002 | An Optimal Staging Algorithm. | Takuma Murakami, Zhenjiang Hu, Masato Takeichi |
| 2002 | Implementation of Parallel Tree Skeletons on Distributed Systems. | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2002 | Bisimulation for Higher-Order Pi-calculus. | Xinxin Liu, Yongjian Li |
| 2002 | Folds with Dependent Types. | Jan-Li Lin |
| 2002 | An Approach for Assessing Software Coupling. | Bixin Li |
| 2002 | What Is the Right Logical Framework for Evolution of Knowledge. | Wei Li |
| 2002 | Inserting Safe Memory Re-use Commands into ML-like Programs. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2002 | Type-Based Information Analysis for Low-Level Languages. | Naoki Kobayashi, Keita Shirane |
| 2002 | Fusion Transformation on Functional Programs of Regular Expression Types. | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |