74 search results - page 2 / 15 » Type Inferencing for Polymorphic Order-Sorted Logic Programs |
PPDP
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
LICS
1991
IEEE
13 years 8 months ago
1991
IEEE
ICFP
2010
ACM
13 years 6 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...