mGTK: An SML Binding of Gtk+
暂无分享,去创建一个
[1] Matthias Blume. No-Longer-Foreign: Teaching an ML compiler to speak C "natively" , 2001, Electron. Notes Theor. Comput. Sci..
[2] David M. Beazley,et al. SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++ , 1996, Tcl/Tk Workshop.
[3] David B. MacQueen,et al. The Definition of Standard ML (Revised) , 1997 .
[4] Lawrence C. Paulson,et al. ML for the working programmer (2. ed.) , 1996 .
[5] Simon L. Peyton Jones,et al. Calling hell from heaven and heaven from hell , 1999, ICFP '99.
[6] Hans Rischel,et al. Introduction to Programming Using Sml , 1999 .
[7] Riccardo Pucella,et al. Phantom Types and Subtyping , 2002, IFIP TCS.
[8] Robin Milner,et al. Definition of standard ML , 1990 .
[9] Jaakko Järvi,et al. A comparative study of language support for generic programming , 2003, OOPSLA 2003.