Title
Implicit phasing for R6RS libraries
Abstract
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defining new portable libraries. The same library may export both procedure and hygienic macro definitions, which allows procedures and syntax to be freely intermixed, hidden, and exported. This paper describes the design and implementation of a portable version of R6RS libraries that expands libraries into a core language compatible with existing R5RS implementations. Our implementation is characterized by its use of inference to determine when the bindings of an imported library are needed, e.g., run time or compile time, relieving programmers of the burden of declaring usage requirements explicitly.
Year
DOI
Venue
2007
10.1145/1291151.1291197
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Keywords
Field
DocType
scheme
Programming language,Hygienic macro,Computer science,Inference,Compile time,Phaser,Theoretical computer science,Implementation,Core language,Syntax
Conference
Volume
Issue
ISSN
42
9
0362-1340
Citations 
PageRank 
References 
4
0.41
5
Authors
2
Name
Order
Citations
PageRank
Abdulaziz Ghuloum1141.04
R. Kent Dybvig238046.47