Matthias Felleisen

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Automatically Restructuring Programs for the We.

[BibT_eX]

[DOI]

Paul T. Graunke

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Programming the Web with High-Level Programming Languages.

[BibT_eX]

[DOI]

Paul T. Graunke

Steve Van Der Hoeven

Proceedings of the Programming Languages and Systems, 2001

Modeling an Algebraic Stepper.

[BibT_eX]

[DOI]

John Clements

Proceedings of the Programming Languages and Systems, 2001

2000

Components and program analyses.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

1999

Componential Set-Based Analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

The Semantics of Future and an Application.

[BibT_eX]

[DOI]

J. Funct. Program., 1999

A Programmer's Reduction Semantics for Classes and Mixins.

[BibT_eX]

[DOI]

Proceedings of the Formal Syntax and Semantics of Java, 1999

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).

[BibT_eX]

[DOI]

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

From Macros to Reusable Generative Programming.

[BibT_eX]

[DOI]

Bruce F. Duba

Proceedings of the Generative and Component-Based Software Engineering, 1999

Expressing Structural Properties as Language Constructs.

[BibT_eX]

[DOI]

Yan-David Erlich

Proceedings of the Programming Languages and Systems, 1999

Safety as a Metric.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Software Engineering Education and Training, 1999

1998

The DrScheme Project: An Overview.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1998

Toward a Formal Theory of Extensible Software.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Classes and Mixins.

[BibT_eX]

[DOI]

Proceedings of the POPL '98, 1998

Units: Cool Modules for HOT Languages.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Synthesizing Object-Oriented and Functional Design to Promote Re-Use.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'98, 1998

1997

The Call-By-Need lambda Calculus.

[BibT_eX]

[DOI]

Zena M. Ariola

J. Funct. Program., 1997

Program Units as Higher-Order Modules.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

DrScheme: A Pedagogic Programming Environment for Scheme.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1997

1996

Program Verification Through Soft Typing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Static Debugging: Browsing the Web of Program Invariants.

[BibT_eX]

[DOI]

Stephanie Weirich

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

A little Java, a few patterns.

[BibT_eX]

MIT Press, ISBN: 978-0-262-56115-0, 1996

The little MLer.

[BibT_eX]

MIT Press, ISBN: 978-0-262-56114-3, 1996

The little schemer (4. ed.).

[BibT_eX]

MIT Press, ISBN: 978-0-262-56099-3, 1996

The seasoned schemer.

[BibT_eX]

MIT Press, ISBN: 978-0-262-56100-6, 1996

1995

The Semantics of Future and Its Use in Program Optimizations.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

The Call-by-Need Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Abstract Models of Memory Management.

[BibT_eX]

[DOI]

J. Gregory Morrisett

Robert Harper

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

A Syntactic Approach to Type Soundness

[BibT_eX]

[DOI]

Andrew K. Wright

Inf. Comput., November, 1994

Fully Abstract Semantics for Observably Sequential Languages

[BibT_eX]

[DOI]

Pierre-Louis Curien

Inf. Comput., June, 1994

Extensible Denotational Language Specifications.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

Is Continuation-Passing Useful for Data Flow Analysis?

[BibT_eX]

[DOI]

Amr Sabry

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

1993

Reasoning about Programs in Continuation-Passing Style.

[BibT_eX]

Amr Sabry

LISP Symb. Comput., 1993

On the Orthogonality of Assignments and Procedures in Algol.

[BibT_eX]

[DOI]

Stephen Weeks

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

The essence of compiling with continuations (with retrospective)

[BibT_eX]

[DOI]

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1993

The Essence of Compiling with Continuations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992

The Revised Report on the Syntactic Theories of Sequential Control and State.

[BibT_eX]

[DOI]

Robert Hieb

Theor. Comput. Sci., 1992

SPCF: Its Model, Calculus, and Computational Power (Preliminary Version).

[BibT_eX]

[DOI]

Ramarao Kanneganti

Proceedings of the Sematics: Foundations and Applications, 1992

Observable Sequentiality and Full Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991

On the Expressive Power of Programming Languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1991

Modeling Continuations without Continuations.

[BibT_eX]

[DOI]

Dorai Sitaram

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Parameter-Passing and the Lambda Calculus.

[BibT_eX]

[DOI]

Erik Crank

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

1990

Control Delimiters and Their Hierarchies.

[BibT_eX]

Dorai Sitaram

LISP Symb. Comput., 1990

Reasoning with Continuations II: Full Abstraction for Models of Control.

[BibT_eX]

[DOI]

Dorai Sitaram

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989

A Syntactic Theory of Sequential State.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1989

The Semantics of Program Dependence.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

1988

The Theory and Practice of First-Class Prompts.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

lambda-V-CS: An Extended lambda-Calculus for Scheme.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

A Syntactic Theory of Sequential Control.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

Reflections on Landins's J-Operator: A Partly Historical Note.

[BibT_eX]

[DOI]

Comput. Lang., 1987

A Calculus for Assignments in Higher-Order Languages.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

A Reduction Semantics for Imperative Higher-Order Languages.

[BibT_eX]

[DOI]

Proceedings of the PARLE, 1987

Control operators, the SECD-machine, and the λ-calculus.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

A Closer Look at Export and Import Statements.

[BibT_eX]

[DOI]

Comput. Lang., 1986

Reasoning with Continuations

[BibT_eX]