Pure-Functional-Template-Language. Esta es una librería que ofrece las funcionalidades básicas del lambda cálculo mediante el uso de templates.