Sciweavers

2233 search results - page 11 / 447
» Modular type classes
Sort
View
72
Voted
ECOOP
1999
Springer
15 years 1 months ago
Modular Statically Typed Multimethods
Todd D. Millstein, Craig Chambers
TOSEM
2010
95views more  TOSEM 2010»
14 years 8 months ago
Types and modularity for implicit invocation with implicit announcement
Friedrich Steimann, Thomas Pawlitzki, Sven Apel, C...
APLAS
2004
ACM
15 years 3 months ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu