Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,594,374 papers from all fields of science
Search
Sign In
Create Free Account
Standard ML
Known as:
SML programming language
, Opaque ascription
, SML (programming language)
Expand
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ANTLR
Abstract data type
Adapter pattern
Bit array
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Demonstration of Santoku: Optimizing Machine Learning over Normalized Data
Arun Kumar
,
Mona Jalal
,
Boqun Yan
,
J. Naughton
,
J. Patel
Proceedings of the VLDB Endowment
2015
Corpus ID: 15330034
Advanced analytics is a booming area in the data management industry and a hot research topic. Almost all toolkits that implement…
Expand
2014
2014
Design of frames with Buckling Restrained Braces - FEMA P695 based Evaluation of a Eurocode 8 Conforming Design Procedure
Á. Zsarnóczay
,
T. Balogh
,
L. Vigh
2014
Corpus ID: 59467550
Buckling Restrained Braced Frames (BRBF) discussed in this paper are concentrically braced steel frames using continuous columns…
Expand
2011
2011
Multi-Class Labeling Improved by Random Forest for Automatic Image Annotation
N. Kato
,
Wenyuan Qi
IAPR International Workshop on Machine Vision…
2011
Corpus ID: 2404600
Recently automatic image annotation (AIA) has been arising as a key technology to support image retrieval. The representative…
Expand
2004
2004
Bounds and Pre-processing for Local Computation of Semiring Valuations 1
Nic Wilson
2004
Corpus ID: 7575011
Local Computation based on hypertree/join tree decompositions [10, 8, 5, 7] is a very general computational framework which leads…
Expand
2001
2001
A generalisation of the mixture decomposition problem in the symbolic data analysis framework
E. Diday
2001
Corpus ID: 11129909
In Symbolic Data Analysis, more complex units can be considered like "concepts" (as towns, insurance companies, species of…
Expand
1995
1995
Prototyping Parallel Algorithms using Standard ML
N. Scaife
,
G. Michaelson
,
A. Wallace
British Machine Vision Conference
1995
Corpus ID: 2040461
We have been developing techniques for deriving parallel implementations of vision algorithms from prototypes written in a…
Expand
1994
1994
The definition of Extended ML
Stefan Kahrs
,
D. Sannella
,
A. Tarlecki
1994
Corpus ID: 12975779
This document formally defines the syntax and semantics of the Extended~ML language. It is based directly on the published…
Expand
1994
1994
Inf'erence d'unit'es physiques en ML
Jean Goubault
,
M. Korthals
1994
Corpus ID: 117654438
R esum e : Nous d ecrivons une extension du syst eme de types de Standard ML permettant un typage plus n des quantit es num…
Expand
1993
1993
Lessons from the design of a Standard ML library
D. Berry
Journal of functional programming
1993
Corpus ID: 36735442
Abstract We describe the Edinburgh SML Library and draw lessons from its development. These lessons are of two kinds. The first…
Expand
1959
1959
CRC Standard Mathematical Tables
C. Hodgman
1959
Corpus ID: 62198093