|
СТ |
Taming Macros |
2004 |
Culpepper R., Felleisen M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
01.12.2004 |
|
СТ |
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 |
|
СТ |
Developing Interactive Web Programs |
2003 |
Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
06.06.2003 |
|
СТ |
Modeling Web Interactions |
2003 |
Graunke P., Findler R. B., Krishnamurthi S., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Programming the Web with High-Level Programming Languages |
2001 |
Graunke P., Krishnamurthi S., Van Der Hoeven S., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Modeling an Algebraic Stepper |
2001 |
Clements J., Flatt M., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
From Macros to Reusable Generative Programming |
2000 |
Krishnamurthi S., Felleisen M., Duba B. F. |
|
|
|
Lecture Notes in Computer Science |
28.11.2000 |
|
СТ |
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 |
|
СТ |
A Programmer s Reduction Semantics for Classes and Mixins |
1999 |
Flatt M., Krishnamurthi S., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
Expressing Structural Properties as Language Constructs |
1999 |
Krishnamurthi S., Erlich Y. -D., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Toward a Formal Theory of Extensible Software |
1998 |
Krishnamurthi S., Felleisen M. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
The DrScheme Project: An Overview |
1998 |
Felleisen M., Findler R. B., Flatt M., Krishnamurthi S. |
|
|
|
SIGPLAN Notices |
22.09.1998 |
|
СТ |
Synthesizing Object-Oriented and Functional Design to Promote Re-use |
1998 |
Krishnamurthi S., Felleisen M., Friedman D. P. |
|
|
|
Lecture Notes in Computer Science |
04.08.1998 |
|
П |
The Revised Report on the Syntactic Theories of Sequential Control and State |
1989 |
Felleisen M., Hieb R. |
Lecture Notes in Artificial Intelligence |
|
Rice Univ. |
|
16.05.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 |
|
СТ |
Componential Set-Based Analysis |
1997 |
Flanagan C., Felleisen M. |
|
|
|
SIGPLAN Notices |
09.07.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 |
|
СТ |
Is Continuation-Passing Useful for Data Flow Analysis? |
1994 |
Sabry A., Felleisen M. |
|
|
|
SIGPLAN Notices |
22.08.1994 |
|
СТ |
Extensible Denotational Language Specifications |
1994 |
Cartwright R., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
|
СТ |
The Essence of Compiling with Continuations |
1993 |
Flanagan C., Sabry A., Duba B. F., Felleisen M. |
|
|
|
SIGPLAN Notices |
11.08.1993 |
|
СТ |
SPCF: Its Model, Calculus, and Computational Power |
1993 |
Kanneganti R., Cartwright R., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
