[Colloquium] REMINDER: Talk by Atsushi Ohori on Wed. Feb. 22nd
Margery Ishmael
marge at cs.uchicago.edu
Tue Feb 21 16:09:11 CST 2006
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/20060221/6bb614b0/attachment.htm
More information about the Colloquium
mailing list