commit 1ed7792d23a556d65ec636b46853d899439627c6
parent 9eb8678837b8701212193683e5205e45d5582808
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date: Wed, 7 Feb 2024 12:07:21 -0500
References.
Diffstat:
1 file changed, 239 insertions(+), 117 deletions(-)
diff --git a/doc/r7rs-small/references.texinfo b/doc/r7rs-small/references.texinfo
@@ -1,130 +1,252 @@
@node References
@chapter References
-@itemize @bullet
+@enumerate
-@item [SICP]
-@pindex SICP
+@item
+@anchor{SICP}
Harold Abelson and Gerald Jay Sussman with Julie Sussman.
-@emph{Structure and Interpretation of Computer Programs, second
- edition.}
+@cite{Structure and Interpretation of Computer Programs, second edition.}
MIT Press, Cambridge, 1996.
-@item [Bawden88]
-@pindex Bawden88
+@item
+@anchor{Bawden88}
Alan Bawden and Jonathan Rees.
Syntactic closures.
-In @emph{Proceedings of the 1988 ACM Symposium on Lisp and Functional
- Programming}, pages 86--95.
+In @cite{Proceedings of the 1988 ACM Symposium on Lisp and
+ Functional Programming}, pages 86--95.
-@c TODO: @item
-@c TODO: @pindex
+@item
+@anchor{rfc2119}
S. Bradner.
Key words for use in RFCs to Indicate Requirement Levels.
-http://www.ietf.org/rfc/rfc2119.txt, 1997.
-
-@item [howtoprint]
-@pindex howtoprint
-Robert G. Burger and R. Kent Dybvig.
-
-Printing floating-point numbers quickly and accurately. In
-@emph{Proceedings of the ACM SIGPLAN '96 Conference on Programming
-Language Design and Implementation}, pages 108--116.
-
-@item [howtoread]
-@pindex howtoread
-William Clinger. How to read floating point numbers accurately. In
-@emph{Proceedings of the ACM SIGPLAN '90 Conference on Programming
-Language Design and Implementation}, pages 92--101. Proceedings
-published as @emph{SIGPLAN Notices} 25(6), June 1990.
-
-@item [propertailrecursion]
-@pindex propertailrecursion
-William Clinger. Proper Tail Recursion and Space Efficiency. In
-@emph{Proceedings of the 1998 ACM Conference on Programming Language
-Design and Implementation}, June 1998.
-
-[7] William Clinger. SRFI 6: Basic String Ports. http://srfi.schemers.org/srfi-6/,
-1999.
-[8] William Clinger, editor. The revised revised report on Scheme, or an
-uncommon Lisp. MIT Artificial Intelligence Memo 848, August 1985. Also
-published as Computer Science Department Technical Report 174, Indiana
-University, June 1985.
-[9] William Clinger and Jonathan Rees. Macros that work. In Proceedings of the
-1991 ACM Conference on Principles of Programming Languages, pages 155--162.
-[10] William Clinger and Jonathan Rees, editors. The revised4 report on the
-algorithmic language Scheme. In ACM Lisp Pointers 4(3), pages 1--55, 1991.
-[11] Mark Davis. Unicode Standard Annex #44, Unicode Character Database.
-http://unicode.org/reports/tr44/, 2010.
-[12] R. Kent Dybvig, Robert Hieb, and Carl Bruggeman. Syntactic abstraction in
-Scheme. Lisp and Symbolic Computation 5(4):295--326, 1993.
-[13] Marc Feeley. SRFI 4: Homogeneous Numeric Vector Datatypes.
-http://srfi.schemers.org/srfi-4/, 1999.
-[14] Carol Fessenden, William Clinger, Daniel P. Friedman, and Christopher
-Haynes. Scheme 311 version 4 reference manual. Indiana University
-Computer Science Technical Report 137, February 1983. Superseded by [15].
-[15] D. Friedman, C. Haynes, E. Kohlbecker, and M. Wand. Scheme 84 interim
-reference manual. Indiana University Computer Science Technical Report 153,
-January 1985.
-[16] Martin Gardner. Mathematical Games: The fantastic combinations of John
-Conway's new solitaire game ``Life.'' In Scientific American, 223:120--123, October
-1970.
-[17] IEEE Standard 754-2008. IEEE Standard for Floating-Point Arithmetic. IEEE, New
-York, 2008.
-[18] IEEE Standard 1178-1990. IEEE Standard for the Scheme Programming Language.
-IEEE, New York, 1991.
-[19] Richard Kelsey. SRFI 9: Defining Record Types. http://srfi.schemers.org/srfi-9/,
-1999.
-[20] Richard Kelsey, William Clinger, and Jonathan Rees, editors. The revised5
-report on the algorithmic language Scheme. Higher-Order and Symbolic
-Computation, 11(1):7-105, 1998.
-[21] Eugene E. Kohlbecker Jr. Syntactic Extensions in the Programming Language Lisp.
+@url{http://www.ietf.org/rfc/rfc2119.txt}, 1997.
+
+@item
+@anchor{howtoprint}
+Robert G. Burger@: and R. Kent Dybvig.
+Printing floating-point numbers quickly and accurately.
+In @cite{Proceedings of the ACM SIGPLAN '96 Conference
+ on Programming Language Design and Implementation}, pages@: 108--116.
+
+@item
+@anchor{howtoread}
+William Clinger.
+How to read floating point numbers accurately.
+In @cite{Proceedings of the ACM SIGPLAN '90 Conference
+ on Programming Language Design and Implementation}, pages 92--101.
+Proceedings published as @cite{SIGPLAN Notices} 25(6), June 1990.
+
+@item
+@anchor{propertailrecursion}
+William Clinger.
+Proper Tail Recursion and Space Efficiency.
+In @cite{Proceedings of the 1998 ACM Conference on Programming
+ Language Design and Implementation}, June 1998.
+
+@item
+@anchor{srfi6}
+William Clinger.
+SRFI 6: Basic String Ports.
+@url{http://srfi.schemers.org/srfi-6/}, 1999.
+
+@item
+@anchor{RRRS}
+William Clinger, editor.
+The revised revised report on Scheme, or an uncommon Lisp.
+MIT Artificial Intelligence Memo 848, August 1985.
+Also published as Computer Science Department Technical Report 174,
+ Indiana University, June 1985.
+
+@item
+@anchor{macrosthatwork}
+William Clinger and Jonathan Rees.
+Macros that work.
+In @cite{Proceedings of the 1991 ACM Conference on Principles of
+ Programming Languages}, pages@: 155--162.
+
+@item
+@anchor{R4RS}
+William Clinger and Jonathan Rees, editors.
+The revised$^4$ report on the algorithmic language Scheme.
+In @cite{ACM Lisp Pointers} 4(3), pages@: 1--55, 1991.
+
+@item
+@anchor{uax29}
+Mark Davis.
+Unicode Standard Annex #29, Unicode Text Segmentation.
+@url{http://unicode.org/reports/tr29/}, 2010.
+
+@item
+@anchor{syntacticabstraction}
+R.@: Kent Dybvig, Robert Hieb, and Carl Bruggeman.
+Syntactic abstraction in Scheme.
+@cite{Lisp and Symbolic Computation} 5(4):295--326, 1993.
+
+@item
+@anchor{srfi4}
+Marc Feeley.
+SRFI 4: Homogeneous Numeric Vector Datatypes.
+@url{http://srfi.schemers.org/srfi-45/}, 1999.
+
+@item
+@anchor{Scheme311}
+Carol Fessenden, William Clinger, Daniel P.@: Friedman, and Christopher Haynes.
+Scheme 311 version 4 reference manual.
+Indiana University Computer Science Technical Report 137, February 1983.
+Superseded by @ref{Scheme84}.
+
+@item
+@anchor{Scheme84}
+D.@: Friedman, C.@: Haynes, E.@: Kohlbecker, and M.@: Wand.
+Scheme 84 interim reference manual.
+Indiana University Computer Science Technical Report 153, January 1985.
+
+@item
+@anchor{life}
+Martin Gardner.
+Mathematical Games: The fantastic combinations of John Conway's new solitaire game ``Life.''
+In @cite{Scientific American}, 223:120--123, October 1970.
+
+@item
+@anchor{IEEE}
+@cite{IEEE Standard 754-2008. IEEE Standard for Floating-Point
+Arithmetic.} IEEE, New York, 2008.
+
+@item
+@anchor{IEEEScheme}
+@cite{IEEE Standard 1178-1990. IEEE Standard for the Scheme
+ Programming Language.} IEEE, New York, 1991.
+
+@item
+@anchor{srfi9}
+Richard Kelsey.
+SRFI 9: Defining Record Types.
+@url{http://srfi.schemers.org/srfi-9/}, 1999.
+
+@item
+@anchor{R5RS}
+Richard Kelsey, William Clinger, and Jonathan Rees, editors.
+The revised$^5$ report on the algorithmic language Scheme.
+@cite{Higher-Order and Symbolic Computation}, 11(1):7-105, 1998.
+
+@item
+@anchor{Kohlbecker86}
+Eugene E. Kohlbecker@: Jr.
+@cite{Syntactic Extensions in the Programming Language Lisp.}
PhD thesis, Indiana University, August 1986.
-[22] Eugene E. Kohlbecker Jr., Daniel P. Friedman, Matthias Felleisen, and Bruce
-Duba. Hygienic macro expansion. In Proceedings of the 1986 ACM Conference on
-Lisp and Functional Programming, pages 151--161.
-[23] John McCarthy. Recursive Functions of Symbolic Expressions and Their
-Computation by Machine, Part I. Communications of the ACM 3(4):184--195, April
-1960.
-[24] MIT Department of Electrical Engineering and Computer Science. Scheme
-manual, seventh edition. September 1984.
-[25] Peter Naur et al. Revised report on the algorithmic language Algol 60.
-Communications of the ACM 6(1):1--17, January 1963.
-[26] Paul Penfield, Jr. Principal values and branch cuts in complex APL. In APL '81
-Conference Proceedings, pages 248--256. ACM SIGAPL, San Francisco, September
-1981. Proceedings published as APL Quote Quad 12(1), ACM, September 1981.
-[27] Jonathan A. Rees and Norman I. Adams IV. T: A dialect of Lisp or, lambda: The
-ultimate software tool. In Conference Record of the 1982 ACM Symposium on Lisp
-and Functional Programming, pages 114--122.
-[28] Jonathan A. Rees, Norman I. Adams IV, and James R. Meehan. The T manual,
-fourth edition. Yale University Computer Science Department, January 1984.
-[29] Jonathan Rees and William Clinger, editors. The revised3 report on the
-algorithmic language Scheme. In ACM SIGPLAN Notices 21(12), pages 37--79,
-December 1986.
-[30] Olin Shivers. SRFI 1: List Library. http://srfi.schemers.org/srfi-1/, 1999.
-[31] Guy Lewis Steele Jr. and Gerald Jay Sussman. The revised report on Scheme, a
-dialect of Lisp. MIT Artificial Intelligence Memo 452, January 1978.
-[32] Guy Lewis Steele Jr. Rabbit: a compiler for Scheme. MIT Artificial Intelligence
-Laboratory Technical Report 474, May 1978.
-[33] Michael Sperber, R. Kent Dybvig, Mathew Flatt, and Anton van Straaten,
-editors. The revised6 report on the algorithmic language Scheme. Cambridge
-University Press, 2010.
-[34] Guy Lewis Steele Jr. Common Lisp: The Language, second edition. Digital Press,
-Burlington MA, 1990.
-[35] Gerald Jay Sussman and Guy Lewis Steele Jr. Scheme: an interpreter for
-extended lambda calculus. MIT Artificial Intelligence Memo 349, December
-1975.
-[36] Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to
-Programming Language Theory. MIT Press, Cambridge, 1977.
-[37] Texas Instruments, Inc. TI Scheme Language Reference Manual. Preliminary
-version 1.0, November 1985.
-[38] Andre van Tonder. SRFI 45: Primitives for Expressing Iterative Lazy
-Algorithms. http://srfi.schemers.org/srfi-45/, 2002.
-[39] Martin Gasbichler, Eric Knauel, Michael Sperber and Richard Kelsey. How to
-Add Threads to a Sequential Language Without Getting Tangled Up.
-Proceedings of the Fourth Workshop on Scheme and Functional Programming,
-November 2003.
-[40] International Earth Rotation Service. Historical table of TAI-UTC offsets.
-http://maia.usno.navy.mil/ser7/tai-utc.dat
-
-@end itemize
+
+@item
+@anchor{hygienic}
+Eugene E.@: Kohlbecker@: Jr., Daniel P.@: Friedman, Matthias Felleisen, and Bruce Duba.
+Hygienic macro expansion.
+In @cite{Proceedings of the 1986 ACM Conference on Lisp
+ and Functional Programming}, pages 151--161.
+
+@item
+@anchor{McCarthy}
+John McCarthy.
+Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I.
+@cite{Communications of the ACM} 3(4):184--195, April 1960.
+
+@item
+@anchor{MITScheme}
+MIT Department of Electrical Engineering and Computer Science.
+Scheme manual, seventh edition.
+September 1984.
+
+@item
+@anchor{Naur63}
+Peter Naur et al.
+Revised report on the algorithmic language Algol 60.
+@cite{Communications of the ACM} 6(1):1--17, January 1963.
+
+@item
+@anchor{Penfield81}
+Paul Penfield, Jr.
+Principal values and branch cuts in complex APL.
+In @cite{APL '81 Conference Proceedings,} pages 248--256.
+ACM SIGAPL, San Francisco, September 1981.
+Proceedings published as @cite{APL Quote Quad} 12(1), ACM, September 1981.
+
+@item
+@anchor{Rees82}
+Jonathan A.@: Rees and Norman I.@: Adams IV.
+T: A dialect of Lisp or, lambda: The ultimate software tool.
+In @cite{Conference Record of the 1982 ACM Symposium on Lisp and
+ Functional Programming}, pages 114--122.
+
+@item
+@anchor{Rees84}
+Jonathan A.@: Rees, Norman I.@: Adams IV, and James R.@: Meehan.
+The T manual, fourth edition.
+Yale University Computer Science Department, January 1984.
+
+@item
+@anchor{R3RS}
+Jonathan Rees and William Clinger, editors.
+The revised$^3$ report on the algorithmic language Scheme.
+In @cite{ACM SIGPLAN Notices} 21(12), pages@: 37--79, December 1986.
+
+@item
+@anchor{srfi1}
+Olin Shivers.
+SRFI 1: List Library.
+@url{http://srfi.schemers.org/srfi-1/}, 1999.
+
+@item
+@anchor{Scheme78}
+Guy Lewis Steele Jr.@: and Gerald Jay Sussman.
+The revised report on Scheme, a dialect of Lisp.
+MIT Artificial Intelligence Memo 452, January 1978.
+
+@item
+@anchor{Rabbit}
+Guy Lewis Steele Jr.
+Rabbit: a compiler for Scheme.
+MIT Artificial Intelligence Laboratory Technical Report 474, May 1978.
+
+@item
+@anchor{R6RS}
+Michael Sperber, R. Kent Dybvig, Mathew Flatt, and Anton van Straaten, editors.
+@cite{The revised$^6$ report on the algorithmic language Scheme.}
+Cambridge University Press, 2010.
+
+@item
+@anchor{CLtL}
+Guy Lewis Steele Jr.
+@cite{Common Lisp: The Language, second edition.}
+Digital Press, Burlington MA, 1990.
+
+@item
+@anchor{Scheme75}
+Gerald Jay Sussman and Guy Lewis Steele Jr.
+Scheme: an interpreter for extended lambda calculus.
+MIT Artificial Intelligence Memo 349, December 1975.
+
+@item
+@anchor{Stoy77}
+Joseph E.@: Stoy.
+@cite{Denotational Semantics: The Scott-Strachey Approach to
+ Programming Language Theory.}
+MIT Press, Cambridge, 1977.
+
+@item
+@anchor{TImanual85}
+Texas Instruments, Inc.
+TI Scheme Language Reference Manual.
+Preliminary version 1.0, November 1985.
+
+@item
+@anchor{srfi45}
+Andre van Tonder.
+SRFI 45: Primitives for Expressing Iterative Lazy Algorithms.
+@url{http://srfi.schemers.org/srfi-45/}, 2002.
+
+@item
+@anchor{GasbichlerKnauelSperberKelsey2003}
+Martin Gasbichler, Eric Knauel, Michael Sperber and Richard Kelsey.
+How to Add Threads to a Sequential Language Without Getting Tangled Up.
+@cite{Proceedings of the Fourth Workshop on Scheme and Functional Programming}, November 2003.
+
+@end enumerate
