2362 search results - page 8 / 473 » Programming in Standard ML |
ACII
2011
Springer
12 years 8 months ago
2011
Springer
The present paper describes the specification of Emotion
ML
2008
ACM
13 years 8 months ago
2008
ACM
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
ICFP
2007
ACM
14 years 12 days ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...