Abstract is missing.
- Dynamic Control Operators in Type TheoryYukiyoshi Kameyama. 1-11
- A Type System for the Push-Enter ModelKwanghoon Choi, Taisook Han. 13-27
- Verifying the CPS Transformation in Isabelle/HOLYasuhiko Minamide, Koji Okuma. 29-37
- Efficient Interpretation of Chart Pattern LanguageSaswat Anand, Siau-Cheng Khoo. 39-48
- Collaborative Constraint Functional Logic Programming in an Open EnvironmentNorio Kobayashi, Mircea Marin, Tetsuo Ida. 49-59
- Exploring Dataflow in Legacy SystemsMikhail A. Bulyonkov, N. N. Filatkina. 61-73
- Functional Quantum ProgrammingShin-Cheng Mu, Richard S. Bird. 75-88
- An Accumulative Parallel Skeleton for AllZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. 89-101
- Jones Optimality and the Strength of Program SpecializersRobert Glück. 103-116
- Higher-Order Polymorphic Sized Types for Safety ChecksWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. 117-131
- An Effect System Combining Alias and Liveness for Explicit Memory ReuseOukseh Lee. 133-145
- Resource Usage AnalysisAtsushi Igarashi, Naoki Kobayashi. 147-158
- Developing the Generic Path Algorithmic Program and its Instantiations Using PAR MethodJinyun Xue. 159-169
- A Differential Evaluation of Fixpoint IterationsJoonseon Ahn. 171-182
- Abstract Interpretation over Infinite Abstract Domains (Tentative Report)Mizuhito Ogawa. 183-191
- Abstract A* Algorithm and Its Application to Linearly Priced Timed AutomataMitsuharu Yamamoto, Masami Hagiya. 193-205
- Efficient Model-Checking of Timed Automata with Clock-Restriction DiagramFarn Wang. 207-224
- Analysis of Secure Information Flow by Model-CheckingKyung-Goo Doh, Seung Cheol Shin. 225-236
- Optimizing Compilation of Concurrent Logic Programs Directed by Interface AnalysisNorio Kato, Kazunori Ueda. 237-250
- On Modular Transformations of Structural ContentTyng-Ruey Chuang, Jan-Li Lin. 251-263
- VM lambda: a Functional Calculus for Scientific DiscoveryEijiro Sumii, Hideo Bannai. 265-275
- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda CalculusMasahito Hasegawa. 277-288
- Computability and Complexity Results for a Spatial Assertion Language for Data StructuresCristiano Calcagno, Hongseok Yang, Peter W. O Hearn. 289-300
- Proof-Directed Compilation for Inter-operable LanguagesAtsushi Ohori. 301-311
- Resource-Passing Concurrent ProgrammingKazunori Ueda. 313-327
- Simple Type Inference for Structural PolymorphismJacques Garrigue. 329-343
- Static Monotonicity Analysis for lambda-Definable Functions. over LatticesAndrzej S. Murawski, Kwangkeun Yi. 345-362
- A Compositional Framework for Querying Optimized RangesHaiyan Zhao, Zhenjiang Hu, Masato Takeichi. 363-376
- Estimating Exception-Induced Control Flow for JavaByeong-Mo Chang, Jang-Wu Jo. 377-387