1 - 10 out of 14Page size: 10
  1. 2021

  2. Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 17 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Lindley, S. & Mogensen, T. (eds.). Association for Computing Machinery, p. 58-73 16 p. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  3. 2020

  4. Certified Semantics for Relational Programming

    Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  5. Relational Synthesis for Pattern Matching

    Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 293-310 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  6. 2019

  7. Relational Interpreters for Search Problems.

    Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, p. 43-57.

    Research output: Contribution to conference › Abstract

  8. 2018

  9. Typed embedding of a relational language in OCaml

    Kosarev, D. & Boulytchev, D., 31 Dec 2018, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 285, p. 1-22 22 p.

    Research output: Contribution to journal › Conference article › peer-review

  10. Improving Refutational Completeness of Relational Search via Divergence Test

    Rozplokhas, D. & Булычев, Д. Ю., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 p. (Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  11. Typed Relational Conversion

    Lozov, P., Vyatkin, A. & Boulytchev, D., 19 Apr 2018, Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Springer Nature, p. 39-58 19 p. (Lecture Notes in Computer Science; vol. 10788).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  12. 2015

  13. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 Dec 2015, In: Science of Computer Programming. 114, p. 57-73 17 p.

    Research output: Contribution to journal › Article › peer-review

  14. Polynomial-Time Optimal Pretty-Printing Combinators with Choice

    Podkopaev, A. & Boulytchev, D., 2015, In: Lecture Notes in Computer Science. 8974, p. 257-265

    Research output: Contribution to journal › Article

  15. 2014

  16. Precise garbage collection for C++ with a non-cooperative compiler

    Berezun, D. & Boulytchev, D., 23 Oct 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, a15. (ACM International Conference Proceeding Series; vol. 23-24-October-2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Previous 1 2 Next

ID: 156171