2233 search results - page 144 / 447 » Modular type classes |
121
Voted
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
130
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
151
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
147
Voted
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
Robust channel estimation scheme is essential for pulse-shaping OFDM systems in the multipath mobile environment. This paper proposes three types of channel estimation schemes for ...
259
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...