Вы здесь

Schubert A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Second-Order Unification and Type Inference for Church-Style Polymorphism 1998 Schubert A. Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages 14.05.1998