Вы здесь

Главная

типизация

Связанные издания:

An Implementation of F :
On the complexity of deciding typability in the relational algebra
Program Bifurcation for a Polymorphically Typed Functional Language
Reflective Lambda-calculus
Taming Macros
Trends in Functional Programming: Revised Selected Papers/13th International Symposium, TFP 2012, St.Andrews, UK, June 2012
Объекты в системе алгебраического программирования
Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом