291 search results - page 13 / 59 » A Logic for Parametric Polymorphism |
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
82
Voted
PPDP
2001
Springer
15 years 1 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...
74
Voted
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
74
Voted
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
