Vi använder generisk programmeringsteknik för att generera väldefinierade lambdatermer. Vi kodar väldefinierade termer efter generaliserade algebraiska datatyper (GADT) och existentiella typer. Spine-metoden för generisk programmering stöder GADT, men den stöder inte definitionen av generiska producenter för existentiella ändamål. Vi beskriver hur man utökar Spine-metoden för att stödja existentiella och vi använder den förbättrade Spine för att definiera en generisk uppräkningsfunktion. Vi visar att uppräkningsfunktionen kan användas för att generera termerna helt enkelt typad lambda kalkyl.
Ett sådant försök använder generisk programmering för att uttömmande räkna lambda termer efter storlek REF.
Enumerating Well-Typed Terms Generically
{'venue': 'AAIP', 'journal': None, 'mag_field_of_study': ['Computer Science']}