Directory: ../pub/languages

Information about design and implementation of various programming languages, especially functional languages. Culled from the Net.
  • C overflow
  • J
  • Turing
  • aliasing in turing
  • ansi c grammar
  • bounds checks
  • boyer scheme
  • clever bit hacks
  • dec src summer internships
  • ecrc tech reports
  • ed ml os2
  • ejflp
  • forth
  • frequency of integer division
  • functional languages for the macintosh
  • gofer implementation
  • hope implementation
  • inlining and register windows
  • instruction scheduling
  • integer division
  • interfacing with the gcc backend
  • isabelle theorem prover
  • lexical caveat
  • lml for linux
  • lml hbc for linux
  • ml benchmarks
  • ml tutorial
  • more ml benchmarks
  • moscow ml for pcs
  • nesl implementation
  • oberon implementation
  • poly ml for X
  • real arithmetic constant folding
  • refal implementation
  • reg alloc and scheduling
  • russell
  • scheme48 beta test
  • self implementation
  • similix
  • sml design
  • sml for linux
  • sml nj for OS2
  • soft typing for scheme
  • sparc code generation
  • sparc coding
  • sparc compiling
  • sparc
  • spec benchmark faq
  • thunks
  • toplas loplas merger
  • txl implementation
  • value dependence graphs
  • various implementations
  • why pascal is not my favorite language
  • xerox summer internships

  • mleone@cs.cmu.edu