Вы здесь

Smith S. F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Precise Constraint-Based Type Inference on Java 2001 Wang T., Smith S. F. Lecture Notes in Computer Science 14.07.2001
СТ Correspondence Polymorphism for Object-Oriented Languages 1999 Rinat R., Smith S. F., Magidor M. SIGPLAN Notices 21.12.1999
СТ Correct Compilation of Specifications to Deterministic Asynchronous Circuits 1993 Smith S. F., Zwarico A. E. Lecture Notes in Computer Science 29.06.1993
СТ Reflective Semantics of Constructive Type Theory (Preliminary Report) 1992 Smith S. F. Lecture Notes in Computer Science 05.08.1992