Projects per year
Coalgebraic Logic Programming for Type Inference: Parallelism and Corecursion for New Generation of Programming Languages (Joint with the University of Bath)
1/09/13 → 31/01/17
2011, Leibniz International Proceedings in Informatics, LIPIcs. Dagstuhl Publications, Vol. 12. p. 352-366 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cirstea, C. (eds.). Berlin: Springer , p. 268-282 15 p. (Lecture notes in computer science; vol. 6859).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution