Symposium on Practical Aspects of Declarative Languages

• Computing with Catalan Families, Generically
• A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations
• Committee Member in Program Committee within the PADL-track