[ Nagoya U. | WWWFun ] ......................

Jacques Garrigue

History

Research

• Label-selective lambda-calculus and Transformation calculus
• Work on Objective Caml, including
  • Typing and compilation of labeled and optional arguments
  • Typing of polymorphic variants

Academic activity

• The 2007 ACM SIGPLAN Workshop on ML, Freiburg, Germany
• The 2008 International Workshop on Foundations of Object-Oriented Languages, San Francisco, California
• FLOPS 2008: 9th International Symposium on Functional and Logic Programming, Ise , Japan (co-chair)

Publications

Others

• OCaml experiments: some tiny bits of code that might be useful or not. This is not to confuse with more serious ocaml programming which you can find at the software page.
• LablGTK and LablGL, strongly typed OCaml interfaces for GTK+ and OpenGL.
• Objective Label. An extension of Objective Caml with labeled and optional arguments, and polymorphic variants. These features, together with the LablTk library and OCamlBrowser, are now included in Objective Caml.
• MiniMAL is a small language with ML-like typing, intended originally to teaching algorithms. It may also serve as an experimentation basis, as its Objective Caml implementation is very light, and can be easily extended.
• FIML, a strongly typed functional and imperative meta-language.
• JMMM, with Jun Furuse. The Japanese version of MMM, a functional WWW browser, written by François Rouaix.
• pkg_export A personal package management tool, for software compiled from source.
• FreeBSD hacking Some hints about how to use FreeBSD on the Casio FIVA, and how to make your hard disk quieter.

Send me a letter.