Advanced Software Development Environment Based on a New Functional Language SML#
update：2020-06-16
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
Atsushi Ohori
, Professor
PhD
Keywords
Prev
List
Next