Martin Odersky, Vincent Cremet, Christine Rockl, and Matthias Zenger. A Nominal Theory of Objects with Dependent Types. In Proc. ECOOP'03, Springer LNCS, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) Self-citation (Odersky Cremet Ockl Zenger) (Correct)
No context found.
M. Odersky, V. Cremet, C. Rockl, and M. Zenger. A nominal theory of objects with dependent types. In Proc. FOOL 10, Jan. 2003. http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) Self-citation (Odersky Cremet Ockl Zenger) (Correct)
No context found.
M. Odersky, V. Cremet, C. Rockl, and M. Zenger. A nominal theory of objects with dependent types. Technical report IC/2002/70, EPFL, Switzerland, September 2002. http://lamp.epfl.ch/papers/technto.pdf.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) Self-citation (Odersky Cremet Rockl Zenger) (Correct)
....are Confluence of the reduction relation. Undecidability of type checking by reduction to the problem in F : Type soundness a well typed program that does not diverge reduces to an answer of the same type. Other related work This paper extends a previous workshop contribution [35]. Nominal type systems have also been formalized in the Java context, examples are [21,27,32] A di#erence between these approaches and ours is that they rely on a global class graph that describes membership and inheritance. Another di#erence is that these systems are almost completely nominal, ....
M. Odersky, V. Cremet, C. Rockl, and M. Zenger. A nominal theory of objects with dependent types. In Proc. FOOL 10, Jan. 2003. http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) Self-citation (Odersky Cremet Rockl Zenger) (Correct)
....of judgments on types, specifically the well formedness judgment # T wf, the membership judgment D, the expansion judgment # T # , and the subtyping judgment T # . Deduction rules for these judgments are motivated in Section 4 and given in full in an accompanying technical report [34]. As usual, we assume that terms can be alpha renamed in type assignments in order to prevent failed type derivations due to duplicate variables in environments. That is, if # t # then also # t # : T . The type assignment judgment is extended to a judgment relating definitions and ....
....to names and labels which are defined and if it does not contain any illegal cyclic dependencies. These requirements are formalized in the four rules given below. The remaining rules propagate these requirements over all forms of types; they are given in full in the accompanying technical report [34]. Single wf) p : R p.type wf (L = U) U wf U) U R (L : U) U : R Rule (Single wf) states that p.type is well formed if p is a path referring to some object. The next three rules cover well formedness of a type selection T.L. They distinguish between ....
[Article contains additional citation context not shown here]
M. Odersky, V. Cremet, C. Rockl, and M. Zenger. A nominal theory of objects with dependent types. Technical report IC/2002/70, EPFL, Switzerland, September 2002. http://lamp.epfl.ch/papers/technto.pdf.
Chai: Traits for Java-like Languages - Smith, Drossopoulou (2005) (Correct)
No context found.
Martin Odersky, Vincent Cremet, Christine Rockl, and Matthias Zenger. A Nominal Theory of Objects with Dependent Types. In Proc. ECOOP'03, Springer LNCS, 2003.
Scalable Extensibility via Nested Inheritance - Nystrom, Chong, Myers (2004) (Correct)
No context found.
Martin Odersky, Vincent Cremet, Christine R ockl, and Matthias Zenger. A nominal theory of objects with dependent types. In Proceedings of 17th European Conference on Object-Oriented Programming (ECOOP 2003.
Some Challenging Typing Issues in Object-Oriented Languages.. - Bruce (2003) (Correct)
No context found.
Martin Odersky, Vincent Cremet, Christine Rockl, and Matthias Zenger. A nominal theory of objects with dependent types. In Informal proceedings of FOOL 10, 2003.
Mixin and Class Subtyping Hierarchies in a Mobile Setting - Lorenzo Bettini Viviana (Correct)
No context found.
M. Odersky, V. Cremet, C. R ockl, and M. Zenger. A nominal theory of objects with dependent types. In Proc. ECOOP'03, Springer LNCS, 2003.
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (2004) (Correct)
No context found.
M. Odersky, V. Cremet, C. Rockl, M. Zenger. A nominal theory of objects with dependent types. Fool'03.
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