10 papers:
- TFPIE-2014-Winter #authentication #functional #named #programming language
- Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.
- ICFP-2014-OhoriUHNSMI #development #enterprise #industrial
- SML# in industry: a practical ERP system development (AO, KU, KH, SN, TS, TM, YI), pp. 167–173.
- ITiCSE-2005-GellerS #c# #dot-net
- Traditional and more “exotic” .NET languages: VB .NET, J#, C# and SML .NET (VG, CS), p. 406.
- IFL-2004-BentonKLR #reduction
- Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.
- PPDP-2004-BentonKR #experience
- Adventures in interoperability: the SML.NET experience (NB, AK, CVR), pp. 215–226.
- IFL-2001-ScaifeMH #comparative #compilation #performance
- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.
- ICFP-1999-BentonK #java
- Interlanguage Working Without Tears: Blending SML with Java (NB, AK), pp. 126–137.
- SAS-1997-YiR #effectiveness #estimation #exception #source code #towards
- Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs (KY, SR), pp. 98–113.
- CC-1994-GeorgeGR #compilation #optimisation
- A Portable and Optimizing Back End for the SML/NJ Compiler (LG, FG, JHR), pp. 83–97.
- LFP-1992-CooperNS #garbage collection #memory management #performance #using
- Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management (EC, SN, IS), pp. 43–52.