Notes and Examples

• Paper (frons.pdf) on Bottom-Avoiding Streams (described November 6)
• Lecture notes on repeated addition/multiplication/...
• ParentheC
  • ParentheC/PC paper: Using ParentheC to Transform Scheme Programs to C or How to Write Interesting Recursive Programs in a Spartan Host (Program Counter)
  • Scheme macros for testing code: ParentheC.ss
  • Translator from ParentheC/PC to C: pc2c.ss
• How to efficiently make continuations representation independent
• Registerized/trampolined fibonacci example
• pmatch.scm
• pmatch.pdf (description of pmatch)
• Example using pmatch
• code for expand-only.
• The Scheme Programming Language (Third Edition)
• Petite Chez Scheme
• Emacs
  • A more complete.emacs file for B521, for folks who want pretty colors, automatic paren matching, and other goodies. Remember to rename the file from dot_emacs_full to .emacs and place it in your home directory (~).
    • To use this .emacs file you must download the dot_emacs_dot_d.zip file, unzip the file, and rename the resulting directory .emacs.d. You must then update the load-path in your .emacs file to point to the location of the .emacs.d directory (although if you placed it in your home directory it should already point to it).
    • Please contact Gilead if you have problems running emacs.
• SWL
  • An alternative to using emacs, it comes with the Windows installation and is available on the Chez Scheme site. Type swl to start on the Linux machines.
• miniKanren (MK)
  • miniKanren source, mk.scm
  • miniKanren tests, mktests.scm (mktests.scm loads mk.scm and mkextraforms.scm automatically)
• alphaKanren (AK)
  • William E. Byrd and Daniel P. Friedman
    alphaKanren: A Fresh Name in Nominal Logic Programming
    Proceedings of the 2007 Workshop on Scheme and Functional Programming,
    Universite Laval Technical Report DIUL-RT-0701, pp. 79-90.
    [Full paper (PDF-file)]
    
    [Author's revised version (recommended) (PDF-file)]
    
    [Revised R5RS-compliant source code (.scm file)]
• OOP implementation in the interpreter (OOP)
  • oopcode.ss, oopcode.ss
  • pmatch.scm, pmatch.scm
• The frons code is based on a papers by Friedman and Wise "Fancy Ferns Require Little Care" and "An Approach to Fair Applicative Multiprogramming, and the nested engines code is a re-arrangement of the code by Dybvig and Hieb.
• Frons
  • loademall.scm
  • stackandclock.scm
  • nester.scm
  • enginetest.scm
  • recordstuff.scm
  • frons.scm
  • fronstest.scm