Triple 20: A Kernel-to-Kernel Transformation Framework

Disclaimer this is highly experimental. It's a very early stage prototype.

References

• The Racket Reference (version 7.1)
  by Matthew Flatt and PLT
• The Definition of Standard ML
  by Robin Milner, Mads Tofte, Robert Harper, and David MacQueen
• Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism (ICFP '13)
  by Joshua Dunfield and Neel Krishnaswami
• Type Inference in Context (MSFP '10)
  by Adam Gundry, Conor McBride, and James McKinna
• Let Should not be Generalised (TLDI ' 10)
  by Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers
• HMF: Simple Type Inference for First-Class Polymorphism (ICFP '08)
  by Daan Leijen
• The Guaranteed Optimization Clause of the Macro Writer's Bill of Rights (DanFest '04)
  by R. Kent Dybvig
• Local Type Inference (TOPLAS '00)
  by Benjamin Pierce and David Turner
• A tutorial on the universality and expressiveness of fold (JFP '99)
  by Graham Hutton
• Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (FPCA '91)
  Erik Meijer, Maarten Fokkinga, and Ross Paterson
• How to make ad-hoc polymorphism less ad hoc (POPL '89)
  by Philip Wadler and Stephen Blott