Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally...
Подробно
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time...
Подробно
Данните и цените за продуктите предлагани от нашите партньори служат за напътствие и обща информация. Моля, преди покупка проверете дали съответстват на публикуваните данни от сайта на магазина или производителя. За евентуалните неточности и грешки не носим отговорност.