PLT Scheme provides an expressive programming language implementation framework in order to enable experimentation with language design. This framework is rooted in PLT Scheme’s hygienic macro system, but it has grown to encompass features that extend its capabilities beyond that of traditional macro systems. In this paper we describe the features of PLT Scheme’s language framework and demonstrate their use with a case study. Specifically, we present the design and implementation of Typed Scheme using the advanced language construction features of PLT Scheme
“From now on, a main goal in designing a language should be to plan for growth. ” Guy Steele: Growin...
ZL is a C++-compatible language in which high-level constructs, such as classes, are de-fined using ...
Abstract. Macro expansion in current Lisp systems is naive with respect o block structure. Every mac...
Abstract. The Scheme language report advocates language design as the composition of a small set of ...
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend t...
We present the λm-calculus, a semantics for a language of hygienic macros with a non-trivial theory....
Over the past two decades, Scheme macros have evolved into a pow-erful API for the compiler front-en...
It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed ...
High-level programming languages have been developed to simplify the communication problem between t...
Abstract: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be ...
Even a programmer devoted to Scheme may prefer using foreign libraries in certain situation. Connect...
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Com...
A novel, simple scheme for providing compile-time facilities to PL/I programmers is proposed. The sc...
AbstractOver the past two decades, Scheme macros have evolved into a powerful API for the compiler f...
Even in the days of Lisp’s simple defmacro systems, macro developers did not have adequate debugging...
“From now on, a main goal in designing a language should be to plan for growth. ” Guy Steele: Growin...
ZL is a C++-compatible language in which high-level constructs, such as classes, are de-fined using ...
Abstract. Macro expansion in current Lisp systems is naive with respect o block structure. Every mac...
Abstract. The Scheme language report advocates language design as the composition of a small set of ...
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend t...
We present the λm-calculus, a semantics for a language of hygienic macros with a non-trivial theory....
Over the past two decades, Scheme macros have evolved into a pow-erful API for the compiler front-en...
It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed ...
High-level programming languages have been developed to simplify the communication problem between t...
Abstract: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be ...
Even a programmer devoted to Scheme may prefer using foreign libraries in certain situation. Connect...
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Com...
A novel, simple scheme for providing compile-time facilities to PL/I programmers is proposed. The sc...
AbstractOver the past two decades, Scheme macros have evolved into a powerful API for the compiler f...
Even in the days of Lisp’s simple defmacro systems, macro developers did not have adequate debugging...
“From now on, a main goal in designing a language should be to plan for growth. ” Guy Steele: Growin...
ZL is a C++-compatible language in which high-level constructs, such as classes, are de-fined using ...
Abstract. Macro expansion in current Lisp systems is naive with respect o block structure. Every mac...