mGTK: An SML binding of Gtk+

Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference

Volumn , Issue , 2004, Pages

  Larsen, Ken Friis ^a   Niss, Henning ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

LIBRARIES;

CLASS HIERARCHIES; FUNCTIONAL LANGUAGES; GRAPHICAL TOOLKITS; GUI LIBRARY; LANGUAGE BINDINGS; OBJECT ORIENTED; SINGLE INHERITANCE; TYPE SYSTEMS;

GRAPHICAL USER INTERFACES;

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

References (18)

1. David M. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++. In Proceedings of 4th Annual USENIX Tcl/Tk Workshop, pages 129–139. USENIX Association, 1996.
2. Joshua Bloch. Effective Java. The Java Series. Addison-Wesley, 2001.
3. Matthias Blume. No-longer-foreign: Teaching an ML compiler to speak C “natively”. Elec. Notes in Theo. Comp. Sci., 59(1), 2001.
4. Sigbjorn Finne, Daan Leijen, Erik Meijer, and Simon L. Peyton Jones. Calling hell from heaven and heaven from hell. In Int. Conf. on Func. Prog. (ICFP’99), pages 114–125, 1999.
5. Matthew Fluet and Riccardo Pucella. Phantom types and subtyping. In IFIP Theo. Comp. Sci. (TCS’02), pages 448–460, 2002.
6. Free Software Foundation. GNU Lesser General Public License (LGPL), 1999. URL http://www.gnu.org/licenses/lgpl.html.
7. Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, and Jeremiah Willcock. A comparative study of language support for generic programming. In Proceedings of the 18th ACM SIG-PLAN conference on Object-oriented programing, systems, languages, and applications (OOPSLA 2003), pages 115–134. ACM Press, 2003.
8. Michael R. Hansen and Hans Rischel. Introduction to Programming using SML. Addison-Wesley, 1999.
9. Allen Leung. SML-Gtk: Gtk+ bindings for Standard ML of New Jersey, 2003. URL http://www.cs.nyu.edu/phd_students/leunga/sml-gtk/sml-gtk.html.
10. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
11. Larry Paulson. ML for the Working Programmer (2nd edition). Cambridge University Press, 1996.
12. The Gtk+ language bindings webpage, 2004. URL http://www.gtk.org/bindings.html.
13. The Gtk+ reference manual, 2004. URL http://developer.gnome.org/doc/API/2.0/gtk/index.html.
14. The Gtk+ webpage, 2004. URL http://www.gtk.org/.
15. The MLKit web page, 2003. URL http://www.it-c.dk/research/mlkit/.
16. The MLton web page, 2003. URL http://www.mlton.org/.
17. The Moscow ML web page, 2003. URL http://www.dina.kvl.dk/~sestoft/mosml.html.
18. The SML.NET web page, 2003. URL http://www.cl.cam.ac.uk/Research/TSG/SMLNET/.