4895 search results - page 410 / 979 » Functional Quantum Programming |
172
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
207
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
185
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
187
click to vote
IFL
2005
Springer
16 years 20 days ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
169
click to vote
APLAS
2004
ACM
16 years 18 days ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...