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

StatusFinished
Effective start/end date1/09/13 → 31/01/17

Funding

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

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 7 Article
  • 5 Conference contribution
  • 1 Chapter

  • Coalgebraic logic programming: from semantics to implementation

    Komendantskaya, E., Power, J. & Schmidt, M., Apr 2016, In: Journal of Logic and Computation. 26, 2, p. 745-783 39 p.

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

    Open Access
    File
    22 Citations (Scopus)
    199 Downloads (Pure)

  • Proof relevant corecursive resolution

    Fu, P. (Lead / Corresponding author), 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 proceeding › Conference contribution

    20 Citations (Scopus)

  • A type-theoretic approach to resolution

    Fu, P. (Lead / Corresponding author) & 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 proceeding › Conference contribution

    4 Citations (Scopus)
View all 13 research outputs