Sciweavers

6 search results - page 2 / 2
» tldi 2010
Sort
View
195
Voted
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
16 years 18 days 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