Using kinds to type partially-polymorphic methods-Reference-Cited by-同舟云学术

Using kinds to type partially-polymorphic methods

Published:2003-02 Issue: Volume:75 Page:21-40
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bonniot Daniel

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference17 articles.

1. Basic theory of F-bounded quantification;Baldan;Information and computation,1999

2. D. Bonniot. Structural interfaces for ML-sub. Master's thesis, Université Paris 7, France, 1999.

3. D. Bonniot. Type-checking multi-methods in ML (a modular approach). In The Ninth International Workshop on Foundations of Object-Oriented Languages, FOOL 9, Portland, Oregon, USA, Jan. 2002.

4. F. Bourdoncle and S. Merz. On the integration of functional programming, class-based object-oriented programming, and multi-methods. Research Report 26, Centre de Mathmatiques Appliques, Ecole des Mines de Paris, Paris, Mar. 1996.

5. F. Bourdoncle and S. Merz. Type-checking higher-order polymorphic multi-methods. In Conference Record of the 24th Annual ACM Symposium on Principles of Programming Languages, pages 302–315, paris, Jan. 1997. ACM.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. JavaGI;ACM Transactions on Programming Languages and Systems;2011-07

2. Reducing the use of nullable types through non-null by default and monotonic non-null;IET Software;2008

3. Non-null References by Default in Java: Alleviating the Nullity Annotation Burden;ECOOP 2007 – Object-Oriented Programming;2007