mGTK: an SML binding of Gtk+

Authors:
Ken Friis Larsen;Henning Niss
Affiliations:
Department of Innovation, IT University of Copenhagen, Denmark;Department of Innovation, IT University of Copenhagen, Denmark
Venue:
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Year:
2004

Citing 7
Cited 2

ML for the working programmer (2nd ed.)

ML for the working programmer (2nd ed.)
Calling hell from heaven and heaven from hell

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
The Definition of Standard ML

The Definition of Standard ML
Introduction to Programming Using Sml

Introduction to Programming Using Sml
Phantom Types and Subtyping

TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
A comparative study of language support for generic programming

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
SWIG: an easy to use tool for integrating scripting languages with C and C++

TCLTK'96 Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4

A functional model-view-controller software architecture for command-oriented programs

Proceedings of the ACM SIGPLAN workshop on Generic programming
Practical Datatype Specializations with Phantom Types and Recursion Schemes

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe mGTK, a Standard ML language binding for the Gtk+ toolkit. Gtk+ is a graphical toolkit for the X Window System, and provides an object-oriented C language API. Since Standard ML is a mostly-functional language without object types, constructing a binding to Gtk+ is not a trivial task. In mGTK, a single-inheritance class hierarchy is encoded using SML's type system. Most of the mGTK binding is machine generated, to best utilize the limited manpower of the project. The goal of the mGTK project is "just" to present a type-safe interface to Gtk+ for SML programmers. This contrasts with GUI libraries for functional languages, which concentrate on producing good user interfaces: there are several SML graphical user interface libraries available for this task. With mGTK, SML applications have access to the mature, complete and familiar Gtk+ user interface.