G. Barthes. Implicit coercions in type systems. Proceedings of Types'95, LNCS 1128, 1996. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Coercive Subtyping - Luo (1995) (2 citations) (Correct)
....choice of considering coercive subtyping in the meta level logical framework, rather than in some object level type systems is important and beneficial. 2 2 The so called object level type systems include, for example, Pure Type Systems [5] such as the Calculus of Constructions (CC) 16] See [6] for an attempt to introduce coercions into PTS. 3 Coercive subtyping In this section, we first introduce the basic ideas and give informal meaning explanations of the judgements in the extended framework with coercive subtyping. Then, a formal presentation is given, followed by a discussion of ....
G. Barthes. Implicit coercions in type systems. Proceedings of Types'95, LNCS 1128, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC