The first version of Modelyze was developed as part of David Broman's Ph.D. thesis work, under the name MKL. Later, the language and the implementation were extended to include full support for gradual typing.

The contributors of Modelyze are:

If you have any questions or suggestions, please send an email to David Broman.