1828 search results - page 35 / 366 » First-Class Type Classes |
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...
120
click to vote
DLS
2005
15 years 1 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
ALT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This work extends studies of Angluin, Lange and Zeugmann on the dependence of learning on the hypotheses space chosen for the class. In subsequent investigations, uniform...
CE
2006
14 years 11 months ago
2006
Collaborative work is an important part of tertiary education but it is very difficult to arrange and supervise for extremely large classes of students in their first year. The po...
MP
2006
14 years 11 months ago
2006
Although the general linear complementarity problem (LCP) is NP-complete, there are special classes that can be solved in polynomial time. One example is the type where the definin...