16190 search results - page 81 / 3238 » Applicative programming with effects |
89
Voted
WSC
1997
15 years 1 months ago
1997
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...
107
Voted
JAIR
2006
15 years 17 days ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
112
click to vote
SIGSOFT
1998
ACM
15 years 4 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
112
click to vote
CCGRID
2004
IEEE
15 years 4 months ago
2004
IEEE
The Metaverse project aims to develop technology for low-cost, high-resolution networked immersive display environments that can be used for distributed collaboration, exploration...
160
Voted
POPL
2003
ACM
16 years 28 days ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...