7529 search results - page 32 / 1506 » The Modula-3 Type System |
115
Voted
ICC
2009
IEEE
15 years 11 days 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 ...
105
Voted
MSCS
2008
15 years 2 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
119
Voted
TCS
2008
15 years 2 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
126
Voted
SCP
2002
15 years 2 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
118
Voted
TIC
1998
Springer
15 years 6 months ago
1998
Springer
