[Caml-list] DisCoTec 2010: Call for Participation
[We apologize for multiple copies] DisCoTec 2010 5th International Federated Conferences on Distributed Computing Techniques
[Caml-list] Subtyping of first-class module types
Dear caml-list, During today's ocaml meeting, the question of whether first-class module types could support subtyping was asked. I'd like to give a more detailed answer here. The explicit subtyping construction (e : t1 : t2) could easily be extended to support subtyping of the form