r7rs-small-texinfo

R7RS-small Scheme converted to Texinfo.
git clone https://kaka.farm/~git/r7rs-small-texinfo
Log | Files | Refs | README | LICENSE

references.texinfo (7415B)

      1 @node References
      2 @unnumbered References
      3 
      4 @enumerate
      5 
      6 @item
      7 @anchor{SICP}
      8 Harold Abelson and Gerald Jay Sussman with Julie Sussman.
      9 @cite{Structure and Interpretation of Computer Programs,
     10   second edition.}
     11 MIT Press, Cambridge, 1996.
     12 
     13 @item
     14 @anchor{Bawden88}
     15 Alan Bawden and Jonathan Rees.
     16 Syntactic closures.
     17 In @cite{Proceedings of the 1988 ACM Symposium on Lisp and
     18   Functional Programming}, pages 86--95.
     19 
     20 @item
     21 @anchor{rfc2119}
     22 S. Bradner.
     23 Key words for use in RFCs to Indicate Requirement Levels.
     24 @url{http://www.ietf.org/rfc/rfc2119.txt}, 1997.
     25 
     26 @item
     27 @anchor{howtoprint}
     28 Robert G. Burger@: and R. Kent Dybvig.
     29 Printing floating-point numbers quickly and accurately.
     30 In @cite{Proceedings of the ACM SIGPLAN '96 Conference
     31   on Programming Language Design and Implementation}, pages 108--116.
     32 
     33 @item
     34 @anchor{howtoread}
     35 William Clinger.
     36 How to read floating point numbers accurately.
     37 In @cite{Proceedings of the ACM SIGPLAN '90 Conference
     38   on Programming Language Design and Implementation}, pages 92--101.
     39 Proceedings published as @cite{SIGPLAN Notices} 25(6), June 1990.
     40 
     41 @item
     42 @anchor{propertailrecursion}
     43 William Clinger.
     44 Proper Tail Recursion and Space Efficiency.
     45 In @cite{Proceedings of the 1998 ACM Conference on Programming
     46  Language Design and Implementation}, June 1998.
     47 
     48 @item
     49 @anchor{srfi6}
     50 William Clinger.
     51 SRFI 6: Basic String Ports.
     52 @url{http://srfi.schemers.org/srfi-6/}, 1999.
     53 
     54 @item
     55 @anchor{RRRS}
     56 William Clinger, editor.
     57 The revised revised report on Scheme, or an uncommon Lisp.
     58 MIT Artificial Intelligence Memo 848, August 1985.
     59 Also published as Computer Science Department Technical Report 174,
     60   Indiana University, June 1985.
     61 
     62 @item
     63 @anchor{macrosthatwork}
     64 William Clinger and Jonathan Rees.
     65 Macros that work.
     66 In @cite{Proceedings of the 1991 ACM Conference on Principles of
     67   Programming Languages}, pages@: 155--162.
     68 
     69 @item
     70 @anchor{R4RS}
     71 William Clinger and Jonathan Rees, editors.
     72 The revised@sup{4} report on the algorithmic language Scheme.
     73 In @cite{ACM Lisp Pointers} 4(3), pages@: 1--55, 1991.
     74 
     75 @item
     76 @anchor{uax44}
     77 Mark Davis.
     78 Unicode Standard Annex #44, Unicode Character Database.
     79 @url{http://unicode.org/reports/tr44/}, 2010.
     80 
     81 @item
     82 @anchor{uax29}
     83 Mark Davis.
     84 Unicode Standard Annex #29, Unicode Text Segmentation.
     85 @url{http://unicode.org/reports/tr29/}, 2010.
     86 
     87 @item
     88 @anchor{syntacticabstraction}
     89 R.@: Kent Dybvig, Robert Hieb, and Carl Bruggeman.
     90 Syntactic abstraction in Scheme.
     91 @cite{Lisp and Symbolic Computation} 5(4):295--326, 1993.
     92 
     93 @item
     94 @anchor{srfi4}
     95 Marc Feeley.
     96 SRFI 4: Homogeneous Numeric Vector Datatypes.
     97 @url{http://srfi.schemers.org/srfi-45/}, 1999.
     98 
     99 @item
    100 @anchor{Scheme311}
    101 Carol Fessenden, William Clinger, Daniel P.@: Friedman, and Christopher
    102   Haynes.
    103 Scheme 311 version 4 reference manual.
    104 Indiana University Computer Science Technical Report 137, February 1983.
    105 Superseded by @ref{Scheme84}.
    106 
    107 @item
    108 @anchor{Scheme84}
    109 D.@: Friedman, C.@: Haynes, E.@: Kohlbecker, and M.@: Wand.
    110 Scheme 84 interim reference manual.
    111 Indiana University Computer Science Technical Report 153, January 1985.
    112 
    113 @item
    114 @anchor{life}
    115 Martin Gardner.
    116 Mathematical Games: The fantastic combinations of John Conway's new
    117   solitaire game ``Life.''
    118 In @cite{Scientific American}, 223:120--123, October 1970.
    119 
    120 @item
    121 @anchor{IEEE}
    122 @cite{IEEE Standard 754-2008.  IEEE Standard for Floating-Point
    123 Arithmetic.}  IEEE, New York, 2008.
    124 
    125 @item
    126 @anchor{IEEEScheme}
    127 @cite{IEEE Standard 1178-1990.  IEEE Standard for the Scheme
    128   Programming Language.}  IEEE, New York, 1991.
    129 
    130 @item
    131 @anchor{srfi9}
    132 Richard Kelsey.
    133 SRFI 9: Defining Record Types.
    134 @url{http://srfi.schemers.org/srfi-9/}, 1999.
    135 
    136 @item
    137 @anchor{R5RS}
    138 Richard Kelsey, William Clinger, and Jonathan Rees, editors.
    139 The revised@sup{5} report on the algorithmic language Scheme.
    140 @cite{Higher-Order and Symbolic Computation}, 11(1):7-105, 1998.
    141 
    142 @item
    143 @anchor{Kohlbecker86}
    144 Eugene E. Kohlbecker@: Jr.
    145 @cite{Syntactic Extensions in the Programming Language Lisp.}
    146 PhD thesis, Indiana University, August 1986.
    147 
    148 @item
    149 @anchor{hygienic}
    150 Eugene E.@: Kohlbecker@: Jr., Daniel P.@: Friedman, Matthias Felleisen,
    151   and Bruce Duba.
    152 Hygienic macro expansion.
    153 In @cite{Proceedings of the 1986 ACM Conference on Lisp
    154   and Functional Programming}, pages 151--161.
    155 
    156 @item
    157 @anchor{McCarthy}
    158 John McCarthy.
    159 Recursive Functions of Symbolic Expressions and Their Computation by
    160   Machine, Part I.
    161 @cite{Communications of the ACM} 3(4):184--195, April 1960.
    162 
    163 @item
    164 @anchor{MITScheme}
    165 MIT Department of Electrical Engineering and Computer Science.
    166 Scheme manual, seventh edition.
    167 September 1984.
    168 
    169 @item
    170 @anchor{Naur63}
    171 Peter Naur et al.
    172 Revised report on the algorithmic language Algol 60.
    173 @cite{Communications of the ACM} 6(1):1--17, January 1963.
    174 
    175 @item
    176 @anchor{Penfield81}
    177 Paul Penfield, Jr.
    178 Principal values and branch cuts in complex APL.
    179 In @cite{APL '81 Conference Proceedings,} pages 248--256.
    180 ACM SIGAPL, San Francisco, September 1981.
    181 Proceedings published as @cite{APL Quote Quad} 12(1), ACM, September
    182   1981.
    183 
    184 @item
    185 @anchor{Rees82}
    186 Jonathan A.@: Rees and Norman I.@: Adams IV.
    187 T: A dialect of Lisp or, lambda: The ultimate software tool.
    188 In @cite{Conference Record of the 1982 ACM Symposium on Lisp and
    189   Functional Programming}, pages 114--122.
    190 
    191 @item
    192 @anchor{Rees84}
    193 Jonathan A.@: Rees, Norman I.@: Adams IV, and James R.@: Meehan.
    194 The T manual, fourth edition.
    195 Yale University Computer Science Department, January 1984.
    196 
    197 @item
    198 @anchor{R3RS}
    199 Jonathan Rees and William Clinger, editors.
    200 The revised@sup{3} report on the algorithmic language Scheme.
    201 In @cite{ACM SIGPLAN Notices} 21(12), pages@: 37--79, December 1986.
    202 
    203 @item
    204 @anchor{srfi1}
    205 Olin Shivers.
    206 SRFI 1: List Library.
    207 @url{http://srfi.schemers.org/srfi-1/}, 1999.
    208 
    209 @item
    210 @anchor{Scheme78}
    211 Guy Lewis Steele Jr.@: and Gerald Jay Sussman.
    212 The revised report on Scheme, a dialect of Lisp.
    213 MIT Artificial Intelligence Memo 452, January 1978.
    214 
    215 @item
    216 @anchor{Rabbit}
    217 Guy Lewis Steele Jr.
    218 Rabbit: a compiler for Scheme.
    219 MIT Artificial Intelligence Laboratory Technical Report 474, May 1978.
    220 
    221 @item
    222 @anchor{R6RS}
    223 Michael Sperber, R. Kent Dybvig, Mathew Flatt, and Anton van Straaten,
    224   editors.
    225 @cite{The revised@sup{6} report on the algorithmic language Scheme.}
    226 Cambridge University Press, 2010.
    227 
    228 @item
    229 @anchor{CLtL}
    230 Guy Lewis Steele Jr.
    231 @cite{Common Lisp: The Language, second edition.}
    232 Digital Press, Burlington MA, 1990.
    233 
    234 @item
    235 @anchor{Scheme75}
    236 Gerald Jay Sussman and Guy Lewis Steele Jr.
    237 Scheme: an interpreter for extended lambda calculus.
    238 MIT Artificial Intelligence Memo 349, December 1975.
    239 
    240 @item
    241 @anchor{Stoy77}
    242 Joseph E.@: Stoy.
    243 @cite{Denotational Semantics: The Scott-Strachey Approach to
    244   Programming Language Theory.}
    245 MIT Press, Cambridge, 1977.
    246 
    247 @item
    248 @anchor{TImanual85}
    249 Texas Instruments, Inc.
    250 TI Scheme Language Reference Manual.
    251 Preliminary version 1.0, November 1985.
    252 
    253 @item
    254 @anchor{srfi45}
    255 Andre van Tonder.
    256 SRFI 45: Primitives for Expressing Iterative Lazy Algorithms.
    257 @url{http://srfi.schemers.org/srfi-45/}, 2002.
    258 
    259 @item
    260 @anchor{GasbichlerKnauelSperberKelsey2003}
    261 Martin Gasbichler, Eric Knauel, Michael Sperber and Richard Kelsey.
    262 How to Add Threads to a Sequential Language Without Getting Tangled Up.
    263 @cite{Proceedings of the Fourth Workshop on Scheme and Functional
    264   Programming}, November 2003.
    265 
    266 @item
    267 @anchor{TAI}
    268 International Earth Rotation Service.
    269 Historical table of TAI-UTC offsets.
    270 @url{http://maia.usno.navy.mil/ser7/tai-utc.dat}
    271 
    272 @end enumerate