Koji Kagawa's publications
Papers
- Modeling Objects with Internal and Mutable States in Purely
Functional Programming Languages, Koji Kagawa, Master's thesis,
Research Institute for Mathematical Sciences, Kyoto University,
February 1993. abstract.
- Monad Morphism ni yoru kyokusho-teki na jotai no hyogen (in Japanese), Koji Kagawa,
In Computer Software Vol.11 No.5, September 1994.
Abstract
-
Mutable Data Structures and Composable References
in a Pure Functional Language
,
Koji Kagawa,
In
SIPL '95:
State in Programming Languages, San Francisco, USA,
January 1995. abstract.
-
Monadic Style deno ML-funo ref operator ni taisuru taju-teigi wo mochiita kata-tsuke ni tuite (in Japanese), Koji Kagawa,
In Fuctional Programming II JSSST'94 Lecture Note/Software Science
10 , Ed. Masato Takeichi, Kindai-Kagaku-sha, pp 95-110
abstract.
-
Type Inference for the Mixture of Matching and Implicit Subtyping,
Koji Kagawa, In Proc. of the Second Fuji International
Workshop on Functional and Logic Programming,
November 1996 (286--300).
-
Compositional References for Stateful Functional Programming,
Koji Kagawa, In the International Conference on Functional
Programming 1997 (217--226), June 1997, Amsterdam, the Netherlands.
-
Simplification of Subtyping Constraints and Its Application for
Monadic Programming,
Koji Kagawa, TTP Kyoto '97, September 1997, Kyoto, JAPAN.
-
Monadic Encapsulation with Stack of Regions, Proc. of 5th
International Symposium FLOPS 2001 (LNCS 2024), pp.264-279, March 2001
-
Dynamic Inheritance for a Prototype-based Language,
Multiparadigm Programming with Object-Oriented Languages (MPOOL) 2002,
June 2002, Malaga Spain,
pp.109-120
-
A Library for Generating Graphical Materials,
Koji Kagawa,
The Joint Workshop of Cognition and Learning Through Media-Communication
for Advanced e-Learning,
September 2003, Berlin Germany, pp.19--24
-
Generating Teaching Materials in a Graphical Format,
Koji Kagawa,
Advanced Learning Technologies and Applications (ALTA'03),
September 2003, Kaunas Lithuania, pp.98-103
-
Implementing Graphical Mini-Languages with the MLSwf Library,
Koji Kagawa,
World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2004),
June 2004,
Lugano Switzerland,
pp.875--880
- A Web-based System for Learning Programming using a Graphics Format on WWW,
Ken-ichi Takai, Koji Kagawa, Hiroyuki Tarumi,
AMT 2005, May 2005, Takamatsu Japan, pp.173--176
-
Generating Teaching Materials with Graphical Mini-languages for Multiple Programming Paradigms,
Koji Kagawa,
World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2005),
July 2005,
Montreal Canada, pp. 3469--3474
-
An Eclipse Plug-in for SVG Animations in an Educational System for Programming,
Naoki Yanagisawa, Kenichi Takai, Koji Kagawa, Hiroyuki Tarumi,
International Conference on Computers in Education 2005,
November 2005,
Singapore, pp.938--941
-
An X3D generator plug-in for Eclipse in a Web-based Educational System for Programming,
Yuji Doi, Koji Kagawa,
World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2006),
June 2006,
Orlando, Florida, USA, pp.2523--2528
-
Polymorphic Variants in Haskell,
Koji Kagawa,
Haskell Workshop 2006,
September 2006, Portland, Oregon, USA, pp.37--47
-
Creating Animations in SVG format for Visualizing Program Execution,
Koji Kagawa,
International Conference on Computers in Education 2006,
November 2006, Beijing, China, pp.551--554
-
A Web-based Educational Environment for Learning the C Programming Language using Scalable Vector Graphics,
Yasuhiro Takai, Koji Kagawa,
World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2007),
June 2007,
Vancouver, Canada, pp.1565--1570
-
A Framework for Web-based Applications for Learning Programming using Eclipse RCP,
, Yusuke Mikot, Koji Kagawa,
World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2008),
June 2008,
Vienna, Austria, pp.2253—2258
-
A Web-based Application Framework for Programming and Its Practice in Classes,
Koji Kagawa,
World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2009),
June 2009,
Honolulu, HI, USA, pp.3395—3403
Miscellaneous