Coalgebraic Logic Programming for Type Inference: Parallelism and Corecursion for New Generation of Programming Languages (Joint with the University of Bath)

  • Komendantskaya, Ekaterina (Investigator)

Project Details

Effective start/end date1/09/1331/01/17


  • Engineering and Physical Sciences Research Council (EP/K031864/1): £215,266.10

Research Output

  • 5 Conference contribution
  • 5 Article
  • 1 Chapter

Proof relevant corecursive resolution

Fu, P., Komendantskaya, E., Schrijvers, T. & Pond, A., 2016, FLOPS 2016: Functional and Logic Programming. Kiselyov, O. & King, A. (eds.). Switzerland: Springer Verlag, p. 126-143 18 p. (Lecture Notes in Computer Science; vol. 9613).

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

  • 14 Citations (Scopus)

    A type-theoretic approach to resolution

    Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture notes in computer science ; vol. 9527).

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

  • 3 Citations (Scopus)

    A certified reduction strategy for homological image processing

    Poza, M., Dominguez, C., Heras, J. & Rubio, J., 8 Jul 2014, In : ACM Transactions on Computational Logic. 15, 3, 23.

    Research output: Contribution to journalArticle

  • 3 Citations (Scopus)