|
СТ |
A Calculus for Exploiting Data Parallelism on Recursively Defined Data |
1995 |
Nishimura S., Ohori A. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
|
СТ |
An Equatorial Object-Oriented Data Model and Its Data- Parallel Query Language |
1996 |
Nishimura S., Ohori A., Tajima K. |
|
|
|
SIGPLAN Notices |
20.02.1997 |
|
СТ |
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 |
|
СТ |
Type Inference for First-Class Messages with Feature Constraints |
1998 |
Muller M., Nishimura S. |
|
|
|
Lecture Notes in Computer Science |
18.12.1998 |
|
СТ |
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning |
2003 |
Nishimura S. |
|
|
|
Lecture Notes in Computer Science |
20.12.2003 |
