Sciweavers

6 search results - page 1 / 2
» Types and modularity for implicit invocation with implicit a...
Sort
View
TOSEM
2010
95views more  TOSEM 2010»
13 years 3 months ago
Types and modularity for implicit invocation with implicit announcement
Friedrich Steimann, Thomas Pawlitzki, Sven Apel, C...
ECOOP
2008
Springer
13 years 6 months ago
Ptolemy: A Language with Quantified, Typed Events
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
Hridesh Rajan, Gary T. Leavens
POPL
2007
ACM
14 years 5 months ago
Modular type classes
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Derek Dreyer, Robert Harper, Manuel M. T. Chakrava...
ICFP
2005
ACM
14 years 4 months ago
Associated type synonyms
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
Manuel M. T. Chakravarty, Gabriele Keller, Simon L...