365 search results - page 1 / 73 » Using Types as Approximations for Type Checking Prolog Progr... |
FLOPS
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
PLDI
1994
ACM
13 years 9 months ago
1994
ACM
PADL
2004
Springer
13 years 10 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
ETFA
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
ICFP
2008
ACM
14 years 4 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...