5415 search results - page 386 / 1083 » The Implementation of Functional Programming Languages |
168
click to vote
PPPJ
2006
ACM
16 years 22 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
199
click to vote
IFL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
182
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Partitioned Global Address Space (PGAS) languages provide a unique programming model that can span shared-memory multiprocessor (SMP) architectures, distributed memory machines, o...
172
click to vote
SCCC
1999
IEEE
15 years 11 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
204
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We consider a model of learning Boolean functions from quantum membership queries. This model was studied in [26], where it was shown that any class of Boolean functions which is i...