199 search results - page 29 / 40 » Combining Strict and Soft Typing in Functional Programming |
98
Voted
SEMCO
2007
IEEE
15 years 5 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
SIGPLAN
2008
14 years 11 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
94
Voted
BIOINFORMATICS
2010
14 years 11 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...
108
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
ICFP
2007
ACM
15 years 3 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...