Adventures in interoperability: The SML.NET experience

Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

Volumn , Issue , 2004, Pages 215-226

  Benton, Nick ^a   Kennedy, Andrew ^a   Russo, Claudio V ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Applications of declarative programming; Functional programming; Integration of paradigms; Programming environments

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DATA ACQUISITION; INTEGRATION; JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS;

APPLICATIONS OF DECLARATIVE PROGRAMMING; FUNCTIONAL PROGRAMMING; INTEGRATION OF PARADIGMS; PROGRAMMING ENVIRONMENTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 11244259013     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. The MLton Compiler, http://www.mlton.org/.
2. The SML.NET Compiler. http://www.cl.cam.ac.uk/Research/TSG/SMLNET/.
3. Visual Studio Industry Partner Programme. http://madn.microsoft.com/ vstudio/extend/.
4. N. Benton and A. Kennedy. Interlanguage working without tears: Blending SML with Java. In 4th ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.
5. N. Benton, A. Kennedy, and C. Russo. The SML.NET 1.1 user guide. http://www.cl.cam.ac.uk/Research/TSG/SMLNET/smlnet.pdf.
6. N. Benton, A. J. Kennedy, and G. Russell. Compiling Standard ML to Java bytecodes. In 3rd ACM SIGPLAN International Conference on Functional Programming, September 1998.
7. M. Blume. No-longer-foreign: Teaching an ML compiler to speak C "natively". In BABEL '01: First workshop on multi-language infrastructure and interoperability, Sept. 2001.
8. D. Box and C. Sells. Essential .NET, Volume I: The Common Language Runtime. Addison Wesley, 2003.
9. Ecma International. ECMA and ISO C# and Common Language Infrastructure standards. http://www.ecma-international.org/.
10. E. R. Gansner and J. H. Reppy, editors. The Standard ML Basis Library reference manual. Cambridge University Press, to appear.
11. A. J. Kennedy. Functional pearl: Pickler combinators. Journal of Functional Programming, 2004.
12. A. J. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Programming Language Design and Implementation. ACM, 2001.
13. N. J. Kokholm and P. Sestoft. Moscow ML.NET owner's manual, http: //www.dina.kvl.dk/∼sestoft/mosml/netmanual.pdf, Nov. 2003.
14. Microsoft Corporation. The .NET Compact Framework, http: //msdn.microsoft.com/mobile/.
15. J. B. Miller and S. Ragsdale. The Common Language Infrastructure Annotated Standard. Addison Wesley, 2003.
16. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Mass., 1997.
17. # compiler, http://research.microsoft.com/ proJects/ilx/fsharp.aspx.
18. J. Vouillon, H. Hosoya, E. Sumii, and V. Gapeyev. Team PLClub. http://www.cis.upenn.edu/∼sumii/icfp/, 2000.
19. D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET Common Language Runtime. In ACM Symposium on Principles of Programming Languages, 2004.