| 2002 | A Type-Based Approach to Parallelization (preliminary report). Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu |
| 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 | An Approach for Assessing Software Coupling. Bixin Li |
| 2002 | An Automatic Program Inverter for Lisp: Potential and Limitations. Robert Glück, Masahiko Kawabe |
| 2002 | An Improved Differential Fixpoint Iteration Method for Program Analysis. Hyunjun Eo, Kwangkeun Yi |
| 2002 | An Interoperable Calculus for External Object Access. Atsushi Ohori, Kiyoshi Yamatodani |
| 2002 | An Optimal Staging Algorithm. Takuma Murakami, Zhenjiang Hu, Masato Takeichi |
| 2002 | An Overview of the Chameleon System. Martin Sulzmann |
| 2002 | Association Computation for Information Access. Akihiko Takano, Shingo Nishioka, Osamu Imaichi, Yoshiki Niwa |
| 2002 | Bisimulation for Higher-Order Pi-calculus. Xinxin Liu, Yongjian Li |
| 2002 | COPLA* - a Middleware for Distributed Databases. Javier Esparza Peidro, Antonio Calero Monteagudo, Jordi Bataller, Francesc D. Muñoz-Escoí, Hendrik Decker, José M. Bernabéu-Aubán |
| 2002 | Data Flow Analysis of Secure Information-Flow. Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi |
| 2002 | Deforesting in Accumulating Parameters via Type-Directed Transformations. Susumu Nishimura |
| 2002 | Extending Sized Type with Collection Analysis. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2002 | Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2002 | Folds with Dependent Types. Jan-Li Lin |
| 2002 | Functional Logic Origami Programming. Tetsuo Ida |
| 2002 | Fusion Transformation on Functional Programs of Regular Expression Types. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2002 | Implementation of Parallel Tree Skeletons on Distributed Systems. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2002 | Inserting Safe Memory Re-use Commands into ML-like Programs. Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2002 | On Quasi-Open Bisimulation. Yuxi Fu |
| 2002 | Programming with Logical Links. Kazunori Ueda |
| 2002 | Pruning Unnecessary Computations using Improving Sequences. Hideya Iwasaki |
| 2002 | Recursion Removal from Recursive Programs with One Descent Function. Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura |
| 2002 | Relaxing the Value Restriction. Jacques Garrigue |
| 2002 | Shrinkable Polymorphic Variants. Koji Kagawa |
| 2002 | Specification based on Backus-Naur Formalism and Programming Language. Guoyong, Peimin Deng, Jiali Feng |
| 2002 | Static Extensionality Checking for Lambda-Definable Functions Over Lattices. Kwangkeun Yi, Hyunjun Eo |
| 2002 | The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings |
| 2002 | Type-Based Information Analysis for Low-Level Languages. Naoki Kobayashi, Keita Shirane |
| 2002 | What Is the Right Logical Framework for Evolution of Knowledge. Wei Li |
| 2002 | Yicho - A System for Programming Program Calculations. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |