Вы здесь
Pottier F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Polymorphic Typed Defunctionalization | 2004 | Pottier F., Gauthier N. | POPL 2004 | 09.06.2004 | |||
| СТ | A Systematic Approach to Static Access Control | 2001 | Pottier F., Skalka C., Smith S. | Lecture Notes in Computer Science | 27.04.2001 | |||
| СТ | A Framework for Type Inference with Subtyping | 1999 | Pottier F. | SIGPLAN Notices | 23.08.1999 | |||
| СТ | Simplifying subtyping constraints | 1996 | Pottier F. | SIGPLAN Notices | 11.09.1996 |