ACL2(ml): machine-learning for ACL2

Jónathan Heras, Ekaterina Komendantskaya

Computing

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

2 Citations (Scopus)

172 Downloads (Pure)

1 results

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