Работы, на которые ссылается эта работа

Работ: 12

Работа: Formalization of Data Derivative Structures

1. Types and Programming Languages

   Benjamin C. Pierce

   Книга2002Цитирований: 2

   ABIABI:AkademIndex/openalex/2026.other.631074

2. Deductive tools of an algebraic programming system

   Yu. V. Kapitonova, A. A. Letichevskiĭ, V. A. Volkov

   Статья2000Цитирований: 2

   ABIABI:AkademIndex/openalex/2026.other.631075

3. The Art of Programming

   D.E. Knuth

   Статья2011Цитирований: 2

   ABIABI:AkademIndex/openalex/2026.other.631076

4. Programming with abstract data types

   Barbara Liskov, Stephen N. Zilles

   Статья1974Цитирований: 2

   ABIABI:AkademIndex/openalex/2026.other.631077

5. A history of CLU

   Barbara Liskov

   Другое1996Цитирований: 2

   ABIABI:AkademIndex/openalex/2026.other.631078

6. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.682385

7. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.682386

8. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.682387

9. Без названия

   ДругоеЦитирований: 1

   ABIABI:AkademIndex/openalex/2026.other.682388

10. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.682389

11. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.682390

12. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.682391