Compiling standard ML to Java bytecodes
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Interlanguage working without tears: blending SML with Java
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Design and implementation of generics for the .NET Common language runtime
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
The Definition of Standard ML
Essential .NET: The Common Language Runtime
Essential .NET: The Common Language Runtime
The Common Language Infrastructure Annotated Standard
The Common Language Infrastructure Annotated Standard
Formalization of generics for the .NET common language runtime
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FUNCTIONAL PEARL Pickler combinators
Journal of Functional Programming
The standard ML basis library
FUNCTIONAL PEARL Pickler combinators
Journal of Functional Programming
Compiling ML polymorphism with explicit layout bitmap
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Proceedings of the 2006 workshop on ML
Operational semantics for multi-language programs
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiling with continuations, continued
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Status report: specifying javascript with ML
ML '07 Proceedings of the 2007 workshop on Workshop on ML
O'browser: objective caml on browsers
Proceedings of the 2008 ACM SIGPLAN workshop on ML
π-ADL.NET: a high level architecture description language compiler for the .NET platform
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Pillar: A Parallel Implementation Language
Languages and Compilers for Parallel Computing
The Pi-ADL.NET project: an inclusive approach to ADL compiler design
WSEAS Transactions on Computers
Operational semantics for multi-language programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Shrinking reductions in SML.NET
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
OCaml-Java: an ML implementation for the Java ecosystem
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Hi-index | 0.01 |
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 with other .NET languages via a number of language extensions, which go considerably beyond those of our earlier compiler, MLj.This paper describes the new language extensions and the features of the Visual Studio plugin, including syntax highlighting, Intellisense, continuous type inference and debugger support. We discuss our experiences using SML.NET to write SML programs that interoperate with other .NET languages, libraries and frameworks. Examples include the Visual Studio plugin itself (written in SML.NET, using .NET's COM interop features to integrate in a C++ application) and writing ASP.NET and Pocket PC applications in SML.