13271 search results - page 339 / 2655 » Computers, Programming, and People |
206
click to vote
SIGCSE
1996
ACM
15 years 10 months ago
1996
ACM
We present several activities used in the two-week PipeLINK summer program for high school girls. These hands-on activities and interactive talks, presented mostly by female facul...
209
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
198
click to vote
AMC
2006
15 years 6 months ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
148
click to vote
IIE
2006
15 years 6 months ago
2006
We identify aspects of computing competition formats as they relate to the purpose of these competitions, both stated and tacit. We consider the major international competitions