4716 search results - page 408 / 944 » Tangible functional programming |
185
click to vote
JALC
2006
15 years 6 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
199
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
202
click to vote
SIAMJO
2010
15 years 5 months ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...
248
click to vote
NATO
1993
15 years 11 months ago
1993
METU Object-Oriented DBMS 1 includes the implementation of a database kernel, an object-oriented SQL-like language and a graphical user interface. Kernel functions are divided bet...
175
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...