1675 search results - page 177 / 335 » Some thoughts on teaching programming and programming langua... |
164
click to vote
PEPM
1994
ACM
15 years 9 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
179
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
169
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
255
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
119
click to vote
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
Many institutions are currently investigating the feasibility of creating Computer Security Laboratory environments for their researchers and students. This paper compares four of...