Daniel Bonniot

发表

Using kinds to type partially-polymorphic methods

Daniel Bonniot, 2002, Electron. Notes Theor. Comput. Sci..

Type-checking multi-methods in ML (A modular approach)

Daniel Bonniot, 2002 .