Курс заснований на творчому синтезі обраних формальних теорій (ламбда-числення, комбінаторна логіка, теорія категорій та ін.) ) та унікальної технологічної платформи Microsoft. NET, що забезпечує практично прозору інтеграцію коду на мовах програмування різних типів. Перша частина курсу присвячена основам функціонального підходу до програмування на основі метамови SML. NET. Курс буде корисний як для досвідчених програмістів, так і для студентів, аспірантів і дослідників, що спеціалізуються в галузі комп'ютерних наук та інформаційних технологій. Дана публікація входить до складу ''Бібліотеки навчальних курсів'', формування якої ведеться в рамках програми академічного співробітництва MSDN Academic Alliance (MSDN AA)