Improving Error Messages in Type System
- 期刊名称IPSJ Online Transactions
- 作者Kustanto, Cynthia; Kameyama, Yukiyoshi
- 卷第3卷
- 电子ISSN1882-6660
- 文件大小275.58KB
- 发表时间2010
- DOI10.2197/ipsjtrans.3.125
- 页码125-138
Introducing Composite Layers in EventCJKamina, Tetsuo; Aotani, Tomoyuki; Masuhara, Hidehiko · IPSJ Online Transactions · 2013
Accumulative Computation on MapReduceLiu, Yu; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang · IPSJ Online Transactions · 2014
Product Derivatives of Regular ExpressionsSuzuki, Taro; Okui, Satoshi · IPSJ Online Transactions · 2008
Interactive Application Scheduling with GridRPCSun, Hao; Aida, Kento · IPSJ Online Transactions · 2010
Associative Search on Shogi Game RecordsViriyayudhakorn, Kobkrit; Ogawa, Mizuhito · IPSJ Online Transactions · 2011
Improving Error Messages in Type SystemKustanto, Cynthia; Kameyama, Yukiyoshi · IPSJ Online Transactions · 2010
Verification of Substitution Theorem Using HOLKoai, Takayuki; Tatsuta, Makoto · IPSJ Online Transactions · 2012
Improving Automatic Centralization by Version SeparationMa, Lei; Artho, Cyrille; Sato, Hiroyuki · IPSJ Online Transactions · 2014