2335 search results - page 130 / 467 » Type Checking Type Classes |
HOTOS
2007
IEEE
14 years 28 days ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
PEPM
2011
ACM
12 years 12 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
FOSSACS
2004
Springer
14 years 2 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...
ECOOP
1998
Springer
14 years 1 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...
ICC
2009
IEEE
13 years 6 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 ...