4231 search results - page 492 / 847 » Using Language More Responsibly |
135
Voted
ML
2006
ACM
15 years 5 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
137
click to vote
ASPLOS
1987
ACM
15 years 8 months ago
1987
ACM
One potentialdisadvantage of a machine with a reduced instruction. set is that object programs may be substantially larger than those for a machine with a richer, more complex ins...
165
click to vote
JFP
2007
15 years 5 months ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
152
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
142
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...