[Colloquium] Talk by Atsushi OHORI on February 22nd, 2006

[Margery Ishmael]

DEPARTMENT OF COMPUTER SCIENCE & TOYOTA TECHNOLOGICAL INSTITUTE

  **DISTINGUISHED COLLOQUIUM**

Date: Wednesday, February 22, 2006
Time: 2:30 p.m.
Place: Ryerson 251

-------------------------------------------

Speaker:  Atsushi OHORI

From:  Research Institute of Electrical Communication, Tohoku  
University, Japan

Url: http://www.pllab.riec.tohoku.ac.jp/~ohori/index.html

Title: Development of the SML# Compiler

Abstract:

SML# is a new programming language in the ML family being developed
at RIEC, Tohoku University. Its main features include the following:

* Interoperability.
   In SML#, standard data structures including integers, floating point
   data, records and arrays have their natural representations. The
   bit-map inspecting GC of SML# is compatible with that of Java. These
   make SML# highly interoperable. An SML# code, for example, can load
   a C FFT function and pass a "real array" (created in an SML# heap)
   to the C function as an array of unboxed double-word floats without
   any data conversion.

* Record polymorphism.
   SML# fully support polymorphic record operations, for which the SML#
   compiler generates efficient code.

* It is a full fledged functional language extending Standard ML.
   The programmer can enjoy the above new features with the usual
   benefits of SML such as interactive programming using existing
   collection of SML library modules.

In this talk, I will outline the features of SM#, the SML# compiler
and programming tools, and describe the theory and implementation
methods underlying the compiler.

This is a joint project with Sanpu-Koubou inc., and Japan Advanced
Institute of Science and Technology. The project has been supported by
the Japanese MEXT (Ministry of Education, Culture, Sports, Science and
Technologies) e-Society project.

----------------------------------------------------------------

Hosts: David B. MacQueen and Matthias Blume

***This talk will be followed by refreshments in Ryerson 255***

People in need of assistance should call 773-834-8977 in advance. For  
information on future Computer Science Department talks, please see  
http://www.cs.uchicago.edu/events


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20060210/0ed64198/attachment.htm