3713 search results - page 100 / 743 » Constructing a Calculus of Programs |
150
click to vote
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
118
click to vote
VL
2007
IEEE
15 years 9 months ago
2007
IEEE
Previous studies of end-user programmers have indicated a reliance on related examples for learning. Accordingly, we analyzed the projects contained in an online community with re...
141
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
235
click to vote
CANDC
2005
ACM
15 years 3 months ago
2005
ACM
The task of the quartet puzzling problem is to find a best-fitting binary X-tree for a finite n-set from confidence values for the 3 n 4 binary trees with exactly four leaves from...
113
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we1 study new organizational forms for production processes that emerge in large scale Free/Libre Open Source Software (FLOSS) projects. We will focus on the textua...