Cdt λ

From Cirque du Wiki
Jump to: navigation, search

cdt λ[1] (read: CdT lambda) is CdT's functional programming-related subgroup.