Вы здесь

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