20132023

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Artjoms Sinkarovs is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Combinatory Logic and Lambda Calculus Are Equal, Algebraically

    Altenkirch, T., Kaposi, A., Šinkarovs, A. & Végh, T., 28 Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction 2023. Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 24. (Leibniz International Proceedings in Informatics; vol. 260).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    7 Downloads (Pure)
  • Rank-Polymorphism for Shape-Guided Blocking

    Šinkarovs, A., Koopman, T. & Scholz, S-B., 31 Aug 2023, FHPNC 2023: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing. Association for Computing Machinery, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 Downloads (Pure)
  • The Münchhausen Method in Type Theory

    Altenkirch, T., Kaposi, A., Šinkarovs, A. & Végh, T., 28 Jul 2023, 28th International Conference on Types for Proofs and Programs (TYPES 2022). Kesner, D. & Pedrot, P-M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 10. (Leibniz International Proceedings in Informatics; vol. 269).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    23 Downloads (Pure)
  • Array languages make neural networks fast

    Šinkarovs, A., Vießmann, H-N. & Scholz, S-B., 17 Jun 2021, ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, p. 39-50 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    3 Citations (Scopus)
    110 Downloads (Pure)
  • Extracting the power of dependent types

    Šinkarovs, A. & Cockx, J., 22 Nov 2021, GPCE 2021: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Tilevich, E. & De Roover, C. (eds.). Association for Computing Machinery, p. 83-95 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access