Вы здесь

Nishimura S.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Correctness of a Higher-Order Removal Transformation through a Relational Reasoning 2003 Nishimura S. Lecture Notes in Computer Science 20.12.2003
СТ Type Inference for First-Class Messages with Feature Constraints 1998 Muller M., Nishimura S. Lecture Notes in Computer Science 18.12.1998
СТ Static Typing for Dynamic Messages 1998 Nishimura S. Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages 14.05.1998
СТ An Equatorial Object-Oriented Data Model and Its Data- Parallel Query Language 1996 Nishimura S., Ohori A., Tajima K. SIGPLAN Notices 20.02.1997
СТ A Calculus for Exploiting Data Parallelism on Recursively Defined Data 1995 Nishimura S., Ohori A. Lecture Notes in Computer Science 19.05.1995