Вы здесь

Augustsson L.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Cayenne - A Language with Dependent Types 1999 Augustsson L. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.08.1999
СТ Cayenne - a language with dependent types 1999 Augustsson L. SIGPLAN Notices 23.08.1999
СТ Gayenne - Spice up Your Programming with Dependent Types 1998 Augustsson L. Proc. of WM98. Smogens Havsbad, January 14-16, 1998 13.02.1998
СТ Partial Evaluation in Aircraft Crew Planning 1997 Augustsson L. Acta Congressus Hiberni 01.08.1997