Référence pratique pour apprendre la réduction des graphiques

Question

Existe-t-il des références pratiques (avec des exemples réels) pour commencer à implémenter un petit langage de programmation fonctionnelle paresseux avec une réduction de graphe? Une référence qui comprenait les étapes de lexing et d'analyse serait particulièrement utile.

Jusqu'à présent, j'ai lu la plupart des Implémentation de langages de programmation fonctionnelle par Simon Peyton Jones et The Wizard Book (SICP).