|
СТ |
Semantic Casts: Contracts and Structural Subtyping in a Nominal World |
2004 |
Findler R. B., Flatt M., Felleisen M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
|
СТ |
Modeling an Algebraic Stepper |
2001 |
Clements J., Flatt M., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Programming Languages as Opearating Systems (or Revenge of the Son of the Lisp Machine) |
1999 |
Flatt M., Flindler R. B., Krishnamurthi S., Felleisen M. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Modular Object-Oriented Programming with Units and Mixins |
1999 |
Findler R. B., Flatt M. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
A Programmer s Reduction Semantics for Classes and Mixins |
1999 |
Flatt M., Krishnamurthi S., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
The DrScheme Project: An Overview |
1998 |
Felleisen M., Findler R. B., Flatt M., Krishnamurthi S. |
|
|
|
SIGPLAN Notices |
22.09.1998 |
|
СТ |
Classes and Mixins |
1998 |
Flatt M., Krishnamurthi S., Felleisen M. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
DrScheme: A Pedagogic Programming Environment for Scheme |
1997 |
Findler R. B., Flanagan C., Flatt M., Krishnamurthi S., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
05.09.1997 |
|
СТ |
Catching Bugs in the Web of Program Invariants |
1996 |
Flanagan C., Flatt M., Krishnamurthi S., Weirich S., Felleisen M. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
