1081 search results - page 141 / 217 » Type Inference of SELF |
144
click to vote
POPL
1994
ACM
15 years 4 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
105
click to vote
HASKELL
2008
ACM
15 years 29 days ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
196
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
103
click to vote
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
115
click to vote
SOCO
2002
Springer
14 years 11 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...