Proof Relevant Corecursive Resolution
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.1007/978-3-319-29604-3_9
Publication URI: http://dx.doi.org/10.1007/978-3-319-29604-3_9
Type: Book Chapter
Book Title: Functional and Logic Programming (2016)
Page Reference: 126-143
ISBN: 978-3-319-29603-6