TLDI   2010 Types In Languages Design And Implementation
Wall of Fame | Most Viewed TLDI-2010 Paper
247views Formal Methods» more  TLDI 2010»
14 years 2 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source247
2Download preprint from source225
3Download preprint from source218
4Download preprint from source210
5Download preprint from source198
6Download preprint from source190