1131 search results - page 125 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
87
Voted
ICFP
2005
ACM
16 years 17 days ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
110
Voted
KDD
2009
ACM
15 years 5 months ago
2009
ACM
Inductive Logic Programming (ILP) systems have been successfully applied to solve complex problems in bioinformatics by viewing them as binary classification tasks. It remains an...
95
Voted
ENTCS
2000
15 years 13 days ago
2000
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...
205
click to vote
POPL
2007
ACM
16 years 28 days ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
117
Voted
POPL
2012
ACM
13 years 8 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...