Exploiting parallelism in coalgebraic logic programming

Ekaterina Komendantskaya
, Martin Schmidt
, Jonathan Heras

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

5 Citations (Scopus)

402 Downloads (Pure)

1 Finished

1 results

Filter

Finished
Coalgebraic Logic Programming for Type Inference: Parallelism and Corecursion for New Generation of Programming Languages (Joint with the University of Bath)
Komendantskaya, E. (Investigator)
1/09/13 → 31/01/17
Project: Research