About

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:

• David Broman (Main developer and coordinator)
• Jeremey Siek
• Hokeun Kim

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