3994 search results - page 87 / 799 » A Linear Logical Framework |
78
Voted
FLAIRS
2001
15 years 1 months ago
2001
Inrecenttimes,severalextensionsofdataminingmethods andtechniqueshavebeenexploredaimingatdealingwith advanceddatabases.Manypromisingapplicationsof inductivelogicprogramming(ILP)tok...
72
Voted
FOIS
2001
15 years 1 months ago
2001
109
click to vote
IJCAI
1993
15 years 1 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
113
click to vote
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
CORR
2008
Springer
15 years 19 days ago
2008
Springer
