Вы здесь

Dimock A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Program Representation Size in an Intermediate Language with Intersection and Union Types 2001 Dimock A., Westmacott I., Muller R., Turbak F. Lecture Notes in Computer Science 27.07.2001
СТ Strongly Typed Flow-Directed Representation Transformations 1997 Dimock A., Muller R., Turbak F., Wells J. B. SIGPLAN Notices 01.10.1997
СТ Safe and Decidable Type Checking in an Object-Oriented Language 1993 Bruce K. B., Crabtree J., Murtagh T. P., Van Gent R., Dimock A., Muller R. SIGPLAN Notices 26.01.1994