Tohoku University. Research Profiles

LANGUAGE

Advanced Software Development Environment Based on a New Functional Language SML#

update:2018-12-19
  • JAPANESE
  • INQUIRY
  • seed-176-1-en.png
  • seed-176-2-en.png
NEXT
PREV
Features

We have been developing a new functional programming language, SML#. This language combines the benefits of higher-order and typed programming language ML with the practically important features including: flexible treatment of record structures through record polymorphism, seamless interoperability with C language, and seamless integration of SQL, a standard database query language. These features make SML# a viable alternative to existing programming languages in developing large and complex software systems. In particular, its seamless integration of SQL would enhance the productivity and reliability in developing recently emerging cloud computing software, for which database access and high-level programming are essential.


Targeted Application(s)/Industry

We hope to conduct collaborative research with a willing company on developing advanced and reliable software development environment based on SML# and the underlying language technologies.

Researchers

Research Institute of Electrical Communication

OHORI, Atsushi , Professor
PhD

Keywords

List