367 search results - page 16 / 74 » Adapting functional programs to higher order logic |
124
Voted
IFL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
109
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
153
Voted
IDA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
114
Voted
POPL
1998
ACM
15 years 4 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
101
click to vote
TPHOL
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...