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

Status	Finished
Effective start/end date	1/09/13 → 31/01/17

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
23 Link opens in a new tab Citations (Scopus)

220 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 Link opens in a new tab 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 Link opens in a new tab Citations (Scopus)

Project Details