Types for Modules

Claudio V. Russo
2004 Electronical Notes in Theoretical Computer Science  
Preface This monograph is derived, with only minor typographical revisions, from my University of Edinburgh doctoral thesis [Rus98b], examined in 1998. For better or worse, I decided to leave the main body of the work unchanged and to exclude any account of subsequent related research. However, I have added an epilogue, not contained in [Rus98b] , that relates the thesis to my more recent work on elaborating and implementing my proposed extensions to Modules in Moscow ML [RRS00], a widely used
more » ... tandard ML compiler. I hope the reader will find this additional material of interest too.
doi:10.1016/s1571-0661(05)82621-0 fatcat:vbz7dhknzvagjakd5ox6eowifa