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/1331/01/17

Funding

  • Engineering and Physical Sciences Research Council (EP/K031864/1): £215,266.10
  • 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 journalArticlepeer-review

    Open Access
    File
    12 Citations (Scopus)
    144 Downloads (Pure)
  • 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

    16 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)