Related Projects

(Projects are enumerated in random order. Any suggestions about a more "fair" arrangement are welcome.)

• Unmix, a specializer for a subset of Scheme
  • A Small Positive Supercompiler in Scala
• A Higher-Order Supercompiler in Scala
  • REcursive Functions Algorithmic Language
• Java Supercompiler Project
• ECCE, the Partial Deduction system
• Advanced Specialization and Analysis for Pervasive Computing
• Neil Mitchell - Supero
• Positive Supercompilation for a higher order call-by-value language
• Poitín & Program Distillation