Publications

--/--/--
  1. Takumi Goto, Isao Sasano, An approach to completing variable names for implicitly typed functional languages, ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp. 131-140, Philadelphia, Pennsylvania, USA, January 23-24, 2012. An Emacs-mode based on the algorithm presented in the paper

    Author's version: Copyright ©ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM'12), January 23-24, 2012, Philadelphia, Pennsylvania, USA, http://doi.acm.org/10.1145/2103746.2103771.
  2. 後藤 拓実, 篠埜 功, 暗に型付けられた関数型言語に対する変数名補完方式の提案, 第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)論文集 (インフォーマルな論文集),pp. 216-230, 北海道札幌市 定山渓ビューホテル, 2011年3月9日〜11日. この論文の手法に基づいたEmacsモード (lambda-mode version 0.10)
  3. 後藤 拓実, 篠埜 功, 多相型言語の変数名補完を行うEmacsモードの開発, 第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010) 論文集(インフォーマルな論文集),pp. 177-190, 香川県 琴平温泉, 2010年3月3日〜5日. 開発中のEmacsモード (lambda-mode)