Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October 7-9, 2019 (2019)
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
Publication URI: https://dl.acm.org/doi/proceedings/10.1145/3354166
Type: Book edited
ISBN: 978-1-4503-7249-7