Вы здесь
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 |