research

papers

• Jun Furuse. "Extensional Polymorphism by Flow Graph Dispatcing" . APLAS'03, The First Asian Symposium on Programming Languages and Systems
• Extensional polymorphism: Theory and Application, thesis.
• Jun Furuse. "Generic polymorphism in ML" . Journées Francophones des Langages Applicatifs 2001. Try Implementation
• Jun Furuse, Pierre Weis. "Entrée/Sorties de valeurs en Caml" . Journées Francophones des Langages Applicatifs 2000. Try Implementation
• Jun P. Furuse and Jacques Garrigue. A label-selective lambda-calculus with optional arguments and its compilation method RIMS Preprint 1041, Research Institute for Mathematical Sciences, Kyoto University, October 1995.

implementation

• G'Caml :an implementation of extensional polymorphism (i.e. Caml generics)

other research related activities

• mmm: Web browser implemented in Objective Caml language, which supports Caml applets whose security is assured by the ML's strong typing.
• labltk: Tcl/Tk interface for O'Caml. Available in the official O'Caml distribution. Using label-selective lambda-calculus with optinal arguments, this library provides very natural command-line style API. More over, it provides more type security than the other language bindings of the Tk toolkit.

Jun.Furuse@inria.fr