4757 search results - page 355 / 952 » Monads for Functional Programming |
198
click to vote
IJWIS
2006
15 years 6 months ago
2006
: Using Internet-enabled mobile handheld devices to access the World Wide Web is a promising addition to the Web and traditional e-commerce. Mobile handheld devices provide conveni...
158
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
We consider the task of learning to accurately follow a trajectory in a vehicle such as a car or helicopter. A number of dynamic programming algorithms such as Differential Dynami...
277
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
158
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
210
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...