Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,988,537 papers from all fields of science
Search
Sign In
Create Free Account
MLton
MLton is an open source, whole-program optimizing compiler for the Standard ML (SML) programming language. MLton aims to produce fast executables…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Google Summer of Code
Optimizing compiler
Programming in the large and programming in the small
Programming language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Verified Computer Linear Algebra
J. Azofra
,
José Divasón Mallagaray
2016
Corpus ID: 125989377
2015
2015
Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk)
S. Jagannathan
Foundations of Software Technology and…
2015
Corpus ID: 7262961
Understanding, discovering, and proving useful properties of sophisticated data structures are central problems in program…
Expand
2014
2014
MultiMLton : A Multicore-Aware Runtime for Standard
K. Sivaramakrishnan
,
Lukasz Ziarek
,
S. Jagannathan
2014
Corpus ID: 40987941
MULTIMLTON is an extension of the MLton compiler and runtime system that targets scalable, multicore architectures. It provides…
Expand
2013
2013
An LLVM Back-end for MLton
Brian Andrew Leibig
2013
Corpus ID: 62345781
An LLVM Back-end for MLton
2013
2013
Correctly Rounded Floating-point Binary-to-Decimal and Decimal-to-Binary Conversion Routines in Standard ML By Prashanth Tilleti
M. Fluet
2013
Corpus ID: 36947465
.................................................................................................................................... 3
2010
2010
The Design Rationale for Multi-MLton
S. Jagannathan
,
Armand Navabi
,
K. Sivaramakrishnan
2010
Corpus ID: 11364914
Multi-MLton is a compiler and runtime environment that targets scalable multicore platforms. It combines new language…
Expand
2010
2010
Path-Sensitive Analysis Using Edge Strings
Armand Navabi
,
Nicholas Kidd
,
S. Jagannathan
2010
Corpus ID: 2309613
Path sensitivity improves the quality of static analysis by avoiding approximative merging of dataflow facts collected along…
Expand
2009
2009
Supercompiling Overloaded Functions
Peter A. Jonsson
,
J. Nordlander
2009
Corpus ID: 18756661
A na¨ıve translation of recursive cases in type class instances will give code that allocates a new dictionary and copies the…
Expand
2003
2003
15-745 : Graduate Compilers Project SSAPRE in MLton ( Notes for Milestone )
Tom Murphy
,
B. M. Due
2003
Corpus ID: 16343848
MLton [1] is a high performance whole-program compiler for Standard ML [2]. One of MLton’s intermediate representations is a form…
Expand
1986
1986
Using Facts for Improving the Parallel Execution of Functional Programs
A. Pettorossi
,
A. Skowron
International Conference on Parallel Processing
1986
Corpus ID: 26342606