Standard ML

Known as: SML programming language, Opaque ascription, SML (programming language)

Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

Advanced analytics is a booming area in the data management industry and a hot research topic. Almost all toolkits that implement…

2014

Buckling Restrained Braced Frames (BRBF) discussed in this paper are concentrically braced steel frames using continuous columns…

2011

Recently automatic image annotation (AIA) has been arising as a key technology to support image retrieval. The representative…

2009

INTRODUCTION “Equal Justice Under Law” – This concept – better yet, promise – is proudly advertised to all atop our Nation’s…

2005

We outline a formalism for structural, or symbolic, representation, the necessity of which has been acutely felt in all sciences…

2001

Abstract : Interoperability between Command, Control, Communications, Computers, and Intelligence (C4I) and Modeling & Simulation…

1995

We have been developing techniques for deriving parallel implementations of vision algorithms from prototypes written in a…

1993

Abstract We describe the Edinburgh SML Library and draw lessons from its development. These lessons are of two kinds. The first…

1992

Traditional "source-level" debuggers for compiled languages actually operate at machine level, which makes them complex…

1959