Works cited by this work

12 works

Work: Formalization of Data Derivative Structures

1. Types and Programming Languages

   Benjamin C. Pierce

   Book20022 citations

   ABIABI:AkademIndex/openalex/2026.other.631074

2. Deductive tools of an algebraic programming system

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

   Article20002 citations

   ABIABI:AkademIndex/openalex/2026.other.631075

3. The Art of Programming

   D.E. Knuth

   Article20112 citations

   ABIABI:AkademIndex/openalex/2026.other.631076

4. Programming with abstract data types

   Barbara Liskov, Stephen N. Zilles

   Article19742 citations

   ABIABI:AkademIndex/openalex/2026.other.631077

5. A history of CLU

   Barbara Liskov

   Other19962 citations

   ABIABI:AkademIndex/openalex/2026.other.631078

6. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.682385

7. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.682386

8. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.682387

9. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.682388

10. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.682389

11. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.682390

12. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.682391