perl6.does(ML) How Type Theorists Saved the Perl 6 Project  
  1. How Type Theorists Saved The Perl 6 Project
  2. The Problem
  3. functional programming, type theory and lambda calculus
  4. The Curry-Howard correspondence
  5. Proof carrying code and Type Systems
  6. Building a compiler, step by step
  7. Haskell and Pugs
  8. Summary
Copyright © 2006, Catalyst IT Ltd.