[MLton-devel] monomorphisation and the opus

[Stephen Weeks]

There are formal descriptions of monomorphisation in

Type-driven Defunctionalization
	http://citeseer.nj.nec.com/137862.html

>From ML to Ada: Strongly-typed Language Interoperability via Source
Translation
	http://citeseer.nj.nec.com/256495.html

I don't know how exactly those relate to ours, in particular on
details like non-uniform datatypes.  But I think that pointing to them
as formalisms and describing monomorphisation in English and by
example is enough.


-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel