|
СТ |
PiLib: A Hosted Language for Pi-Calculus Style Concurrency |
2004 |
Cremet V., Odersky M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
24.07.2004 |
|
СТ |
A Nominal Theory of Objects with Dependent Types |
2003 |
Odersky M., Cremet V., Rockl C., Zenger M. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
An Introduction to Functional Nets |
2002 |
Odersky M. |
|
|
|
Lecture Notes in Computer Science |
26.10.2002 |
|
СТ |
Objects + Views = Components? |
2000 |
Odersky M. |
|
|
|
Lecture Notes in Computer Science |
27.10.2000 |
|
СТ |
Functional Nets |
2000 |
Odersky M. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Programming with Variable Functions |
1999 |
Odersky M. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Making the Future Safe for the Past: Adding Genericity to the JavaTM Programming Language |
1998 |
Bracha G., Odersky M., Stoutamire D., Walder P. |
|
|
|
SIGPLAN Notices |
21.04.1999 |
|
СТ |
A Statically Safe Alternative to Virtual Types |
1998 |
Bruce K. B., Odersky M., Wadler P. |
|
|
|
Lecture Notes in Computer Science |
04.08.1998 |
|
СТ |
A Functional Theory of Local Names |
1994 |
Odersky M. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
Polarized Name Passing |
1995 |
Odersky M. |
|
|
|
Lecture Notes in Computer Science |
31.01.1996 |
|
СТ |
A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice |
1995 |
Marriott K., Odersky M. |
Lecture Notes in Computer Science |
|
|
Principles and Practice of Constraint Programming - CP 95 |
16.11.1995 |
|
СТ |
Defining Context-Dependent Syntax Without Using Contexts |
1993 |
Odersky M. |
|
|
|
ACM Trans. Programming Languages and Systems |
20.08.1993 |
|
СТ |
MINOS: A New Approach to the Design of an Input/Output Library for Modula-2 |
1989 |
Odersky M. |
|
|
|
Structured Programming |
03.07.1991 |
