Machine Learning Coalgebraic Proofs
Attributed to:
COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1142/9781783265091_0020
Publication URI: http://dx.doi.org/10.1142/9781783265091_0020
Type: Book Chapter
Book Title: Latest Advances in Inductive Logic Programming (2014)
Page Reference: 191-198
ISBN: 1783265086