596 search results - page 72 / 120 » Subtyping Recursive Types |
112
click to vote
BIOINFORMATICS
2010
15 years 1 months ago
2010
Motivation: Tumorigenesis is an evolutionary process by which tumor cells acquire sequences of mutations leading to increased growth, invasiveness, and eventually metastasis. It i...
BMCBI
2006
15 years 1 months ago
2006
Background: Here we describe PathogenMIPer, a software program for designing molecular inversion probe (MIP) oligonucleotides for use in pathogen identification and detection. The...
139
click to vote
PLPV
2009
ACM
15 years 10 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
113
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
The `Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-s...
125
click to vote
SAS
1997
Springer
15 years 5 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...