4835 search results - page 223 / 967 » Refactoring Functional Programs |
169
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
190
click to vote
CCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
169
click to vote
IOLTS
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a procedure for self-testing of an FPGA programmed to implement a user-defined function. The procedure is intended to improve the detectability of FPGA delay faults. Th...
172
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Two-party Secure Function Evaluation (SFE) is a very useful cryptographic tool which allows two parties to evaluate a function known to both parties on their private (sec...
173
click to vote
TREC
2004
15 years 7 months ago
2004
The quality of an information retrieval system heavily depends on its retrieval function, which returns a similarity measurement between the query and each document in the collect...