199 search results - page 28 / 40 » Combining Strict and Soft Typing in Functional Programming |
191
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
107
click to vote
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
BMCBI
2010
14 years 11 months ago
2010
Background: Protein-protein docking for proteins with large conformational changes was analyzed by using interaction fingerprints, one of the scales for measuring similarities amo...
ICML
2003
IEEE
16 years 13 days ago
2003
IEEE
We investigate how stack filter function classes like weighted order statistics can be applied to classification problems. This leads to a new design criteria for linear classifie...