2233 search results - page 112 / 447 » Modular type classes |
126
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
144
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
123
click to vote
AOSD
2003
ACM
15 years 7 months ago
2003
ACM
We present aspect-oriented programming in Jiazzi. Jiazzi enhances Java with separately compiled, externally-linked code modules called units. Besides making programming in Java ge...
121
click to vote
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
107
click to vote
ENTCS
2006
15 years 2 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...